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-- | 321 bytes |
LICENSE | -rw-r--r-- | 7.5 KB |
PackageInfo.g | -rw-r--r-- | 2.6 KB |
README.md | -rw-r--r-- | 1.9 KB |
TODO | -rw-r--r-- | 0 bytes |
init.g | -rw-r--r-- | 543 bytes |
makedoc.g | -rw-r--r-- | 157 bytes |
makefile | -rw-r--r-- | 649 bytes |
maketest.g | -rw-r--r-- | 399 bytes |
read.g | -rw-r--r-- | 536 bytes |
Computing file changes ...