"Jenkinsfile_OLD" did not exist on "6a358a850af0398f6144c0d4c7624da224414b45"
Stefan E. Funk
authored
| Name | Last commit | Last update |
|---|---|---|
| docs | ||
| src | ||
| .classpath | ||
| .gitattributes | ||
| .gitignore | ||
| .gitmodules | ||
| .project | ||
| Jenkinsfile | ||
| NEW-STRUCTURE.md | ||
| TESTING.md | ||
| examine-stylesheet-results.sh | ||
| pom.xml | ||
| transformations.xpr | ||
| unification.odt |