https://github.com/bh11/crisp
Revision d6878ac9cdae17f50747a6ece5cd1a844520c869 authored by bh11 on 15 December 2022, 20:58:52 UTC, committed by GitHub on 15 December 2022, 20:58:52 UTC
Tip revision: d6878ac9cdae17f50747a6ece5cd1a844520c869 authored by bh11 on 15 December 2022, 20:58:52 UTC
Merge branch 'master' into mh/workaround-html-appendix
Merge branch 'master' into mh/workaround-html-appendix
Tip revision: d6878ac
File | Mode | Size |
---|---|---|
doc | ||
lib | ||
tst | ||
.gitignore | -rw-r--r-- | 376 bytes |
Checklist CRISP release.txt | -rw-r--r-- | 481 bytes |
LICENSE.in.txt | -rw-r--r-- | 1.3 KB |
Makefile | -rw-r--r-- | 4.2 KB |
PackageInfo.in.g | -rw-r--r-- | 4.0 KB |
README.in.txt | -rw-r--r-- | 2.2 KB |
configure | -rwxr-xr-x | 44 bytes |
index.in.html | -rw-r--r-- | 2.5 KB |
init.g | -rw-r--r-- | 934 bytes |
logo.pld | -rw-r--r-- | 14.3 KB |
logo.png | -rw-r--r-- | 21.8 KB |
read.g | -rw-r--r-- | 748 bytes |
Computing file changes ...