diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-24 15:59:31 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-24 15:59:31 +0200 |
| commit | 4c86a6348d9916b6404709452affa10e9c776efa (patch) | |
| tree | 617c85f1b90b484064fbf79740ebaad6a8489705 /doc/design.sgml | |
| parent | f8b830ab5888ef2fc7d83b7a79c72fdcb9388748 (diff) | |
| parent | b176de3af77f686a512dec04a98e8fa6ce6af908 (diff) | |
merged from David
Diffstat (limited to 'doc/design.sgml')
| -rw-r--r-- | doc/design.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/design.sgml b/doc/design.sgml index 0fd708162..1ddf49fd8 100644 --- a/doc/design.sgml +++ b/doc/design.sgml @@ -31,7 +31,7 @@ <p> You should have received a copy of the GNU General Public - License with your Debian GNU/Linux system, in + License with your Debian system, in <tt>/usr/share/common-licenses/GPL</tt>, or with the <prgn/debiandoc-sgml/ source package as the file <tt>COPYING</tt>. If not, write to the Free Software |