Revision e980e62f317ecaff5dd3d94770ece2b6709d8575 authored by Mohamed Barakat on 14 March 2022, 10:17:24 UTC, committed by GitHub on 14 March 2022, 10:17:24 UTC
Apply PackageJanitor
File | Mode | Size |
---|---|---|
doc | ||
examples | ||
gap | ||
.gitignore | -rw-r--r-- | 510 bytes |
CHANGES | -rw-r--r-- | 325 bytes |
LICENSE | -rw-r--r-- | 7.5 KB |
PackageInfo.g | -rw-r--r-- | 5.2 KB |
README.md | -rw-r--r-- | 2.0 KB |
TODO | -rw-r--r-- | 567 bytes |
init.g | -rw-r--r-- | 2.0 KB |
makedoc.g | -rw-r--r-- | 205 bytes |
makefile | -rw-r--r-- | 643 bytes |
maketest.g | -rw-r--r-- | 416 bytes |
read.g | -rw-r--r-- | 2.6 KB |
Computing file changes ...