Remove some obsolete stuff from dev/ dir

LinksOfAllHelpSections.g has been superseded by code in the GapWWW repository; the Updates files and directories are covered by CHANGES.md resp. the revision history.
gap-system · Mar 27, 2020 · 5be75b9 · 5be75b9
1 parent ff4fbc0
commit 5be75b9
Show file tree

Hide file tree

Showing 99 changed files with 0 additions and 11,933 deletions.
diff --git a/dev/LinksOfAllHelpSections.g b/dev/LinksOfAllHelpSections.g