https://github.com/frankluebeck/EDIM
Tip revision: 29a18344f1f9630139e93e2258593ad1da08dcbd authored by Frank Lübeck on 21 February 2024, 21:56:43 UTC
Set version to 1.3.8.dev
Set version to 1.3.8.dev
Tip revision: 29a1834
| File | Mode | Size |
|---|---|---|
| dev | ||
| doc | ||
| lib | ||
| src | ||
| tst | ||
| .gitignore | -rw-r--r-- | 298 bytes |
| CHANGES | -rw-r--r-- | 2.9 KB |
| GPL | -rw-r--r-- | 17.6 KB |
| Makefile.in | -rw-r--r-- | 858 bytes |
| PackageInfo.g | -rw-r--r-- | 2.5 KB |
| README | -rw-r--r-- | 1.7 KB |
| TODO | -rw-r--r-- | 1 byte |
| VERSION | -rw-r--r-- | 6 bytes |
| configure | -rwxr-xr-x | 874 bytes |
| init.g | -rw-r--r-- | 396 bytes |
| makedocrel.g | -rw-r--r-- | 412 bytes |
| read.g | -rw-r--r-- | 549 bytes |
