diff options
| author |   Thomas Walzer <Thomas.Walzer@Reutlingen-University.de> | 2019-10-28 16:00:55 +0100 |
|---|---|---|
| committer | Thomas Walzer <Thomas.Walzer@Reutlingen-University.de> | 2019-10-28 16:00:55 +0100 |
| commit | ce4e126053144f93616b475bf2aba4bb2994c024 (patch) | |
| tree | ac4eacde39b003b196e889389b4b77158685d039 /LICENSE | |
| parent | 3b0d13c64f33a034ffeeedb97389a7526147b415 (diff) | |
Changed at README.md ./doctools/webdocs/docbuild to ./doctools/docbuild. Beacuse webdocs folder was not present. Worked after that on my computer, had to make a npm audit fix because of js-yaml
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions