diff options
Diffstat (limited to 'tops20/rename.mic')
| -rw-r--r-- | tops20/rename.mic | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tops20/rename.mic b/tops20/rename.mic new file mode 100644 index 0000000..6a45d26 --- /dev/null +++ b/tops20/rename.mic @@ -0,0 +1,6 @@ +@rename zipfile.c zipfil.c +@rename globals.c global.c +@rename deflate.c deflat.c +@rename zipnote.c zipnot.c +@rename zipsplit.c zipspl.c +@kmic |