.git
.gitignore
.gitlab-ci.yml
.tarignore
CHANGELOG.html
ci
currytools/.git
currytools/.gitignore
currytools/download_tools.sh
debian
docker
docs/src
frontend/curry-base/.git
frontend/curry-base/.gitignore
frontend/curry-base/dist
frontend/curry-frontend/.git
frontend/curry-frontend/.gitignore
frontend/curry-frontend/dist
KNOWN_BUGS
lib-trunk
Makefile_lib
Makefile_install_lib
