diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-24 16:01:15 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-24 16:01:15 +0200 |
| commit | d9e10d0fdf812ebced54f4ea827d6132e0ebfef5 (patch) | |
| tree | 904dd0148a028ef30a67013d98eac90e92c30cae /doc/design.sgml | |
| parent | d3f6489bf47dcf4fa5d8c2cd6a543ffa5f0105fe (diff) | |
| parent | 4c86a6348d9916b6404709452affa10e9c776efa (diff) | |
merged from debian-sid
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 |