Renamed files for consistency. Removed obsolete files.

gap-packages · Sep 24, 2017 · 0317fb6 · 0317fb6
1 parent 28aad24
commit 0317fb6
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 106 deletions.
diff --git a/GPL → COPYING b/GPL → COPYING
diff --git a/README → README.md b/README → README.md
diff --git a/makedocrel.g → makedoc.g b/makedocrel.g → makedoc.g
diff --git a/patternscolor.txt b/patternscolor.txt
diff --git a/publish b/publish