Revision 8a378f2f833dd28ea71d38e7fc45bac10fe122d5 authored by zimoun on 20 May 2022, 06:28:06 UTC, committed by zimoun on 20 May 2022, 06:28:06 UTC
1 parent 6ff9875
File | Mode | Size |
---|---|---|
demo | ||
src | ||
.gitignore | -rw-r--r-- | 70 bytes |
.gitlab-ci.yml | -rw-r--r-- | 1.3 KB |
README | -rw-r--r-- | 2.6 KB |
do-all.sh | -rwxr-xr-x | 47 bytes |
do-clean.sh | -rwxr-xr-x | 130 bytes |
do-pres.sh | -rwxr-xr-x | 163 bytes |
do-supp.sh | -rwxr-xr-x | 280 bytes |
plan.org | -rw-r--r-- | 3.6 KB |
Computing file changes ...