Revision af37e02162be08b1c60948376c2b73e2cce777b0 authored by rok-cesnovar on 05 July 2020, 11:21:18 UTC, committed by rok-cesnovar on 05 July 2020, 11:21:18 UTC
this adds the option to not do that
1 parent f56b03a
| File | Mode | Size |
|---|---|---|
| .github | ||
| lib | ||
| licenses | ||
| make | ||
| src | ||
| .clang-format | -rw-r--r-- | 2.9 KB |
| .gitignore | -rw-r--r-- | 918 bytes |
| .gitmodules | -rw-r--r-- | 94 bytes |
| .travis.yml | -rw-r--r-- | 2.0 KB |
| Jenkinsfile | -rw-r--r-- | 12.2 KB |
| LICENSE.md | -rw-r--r-- | 1.5 KB |
| README.md | -rw-r--r-- | 2.0 KB |
| RELEASE-NOTES.txt | -rw-r--r-- | 58.9 KB |
| makefile | -rw-r--r-- | 5.3 KB |
| runTests.py | -rwxr-xr-x | 4.4 KB |
Computing file changes ...
