Remove obsolete naming conventions description

gap-packages · Oct 24, 2014 · ab32217 · ab32217
1 parent dce71ba
commit ab32217
Showing 1 changed file with 0 additions and 60 deletions.
diff --git a/dev/NAMING_CONVENTIONS b/dev/NAMING_CONVENTIONS