diff options
| author | Glenn Morris | 2007-02-03 23:39:36 +0000 |
|---|---|---|
| committer | Glenn Morris | 2007-02-03 23:39:36 +0000 |
| commit | 05630abe3c19dcf048289d48c4089953cf2a9a9d (patch) | |
| tree | 2560967736617131a25a3d4e057e3b74bb2708ec /admin/notes | |
| parent | b8c20e074f4126242f345855df7aee495209b080 (diff) | |
| download | emacs-05630abe3c19dcf048289d48c4089953cf2a9a9d.tar.gz emacs-05630abe3c19dcf048289d48c4089953cf2a9a9d.zip | |
*** empty log message ***
Diffstat (limited to 'admin/notes')
| -rw-r--r-- | admin/notes/copyright | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/admin/notes/copyright b/admin/notes/copyright index 0d29af67cda..ba4b0c57161 100644 --- a/admin/notes/copyright +++ b/admin/notes/copyright | |||
| @@ -149,6 +149,10 @@ src/gmalloc.c | |||
| 149 | *** These are copyright issues still to be addressed: | 149 | *** These are copyright issues still to be addressed: |
| 150 | 150 | ||
| 151 | 151 | ||
| 152 | Maybe some relevant comments here? | ||
| 153 | <http://groups.google.com/group/linux.debian.legal/browse_thread/thread/123547ea95437a1f> | ||
| 154 | |||
| 155 | |||
| 152 | Is it OK to just `cvs remove' a file for legal reasons, or is | 156 | Is it OK to just `cvs remove' a file for legal reasons, or is |
| 153 | something more drastic needed? A removed file is still available from | 157 | something more drastic needed? A removed file is still available from |
| 154 | CVS, if suitable options are applied. | 158 | CVS, if suitable options are applied. |