diff options
| author | Michael Vogt <mvo@ubuntu.com> | 2012-12-26 23:52:47 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@ubuntu.com> | 2012-12-26 23:52:47 +0100 |
| commit | d2cca6ec46865a1f5167f846e67150dc19ca2022 (patch) | |
| tree | 43d335f69870a72b97fa41a1b208784b8753d354 /doc/design.sgml | |
| parent | 7735ad0500b6fefef03b2a3dc2a6843e82353e94 (diff) | |
| parent | d663a4c8a8723ae4936d10d0a98ea2c05a29cbc4 (diff) | |
merged from the debian-sid branch
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 |