https://github.com/dice-group/gerbil
Revision 3821e8d7ae63e1f6f1b98cb49bff7f5d402c8ff6 authored by Michael Röder on 21 June 2023, 15:35:56 UTC, committed by Michael Röder on 21 June 2023, 15:35:56 UTC
1 parent 8e8b958
Tip revision: 3821e8d7ae63e1f6f1b98cb49bff7f5d402c8ff6 authored by Michael Röder on 21 June 2023, 15:35:56 UTC
Renamed the faulty package name of indq.
Renamed the faulty package name of indq.
Tip revision: 3821e8d
File | Mode | Size |
---|---|---|
.github | ||
docker-config | ||
documentation | ||
repository | ||
src | ||
.editorconfig | -rw-r--r-- | 738 bytes |
.gitignore | -rw-r--r-- | 215 bytes |
Dockerfile | -rw-r--r-- | 531 bytes |
LICENSE | -rw-r--r-- | 33.7 KB |
README.md | -rw-r--r-- | 1.9 KB |
docker_build.sh | -rwxr-xr-x | 594 bytes |
exportData.sh | -rw-r--r-- | 79 bytes |
index.sh | -rwxr-xr-x | 141 bytes |
pom.xml | -rw-r--r-- | 14.8 KB |
run-gerbil.sh | -rwxr-xr-x | 1.6 KB |
start.sh | -rwxr-xr-x | 5.9 KB |
Computing file changes ...