diff options
Diffstat (limited to 'debian/copyright_hints')
-rw-r--r-- | debian/copyright_hints | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/copyright_hints b/debian/copyright_hints index 307e863..c7624c7 100644 --- a/debian/copyright_hints +++ b/debian/copyright_hints @@ -308,6 +308,7 @@ Files: HISTORY.Snd tools/tsort.scm tools/tstar.scm tools/tvect.scm + tools/utf8-tests.scm tools/va.scm tools/valcall.scm v.rb |