diff options
| author | Andrey Andreev <narf@devilix.net> | 2017-07-21 10:51:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-21 10:51:37 +0200 |
| commit | b7ae9d4cd171e1674022c95100798cc7ada7572a (patch) | |
| tree | 6fe5c2bc7f1dfb6390afd4283a3ddd57233acffe /.gitignore | |
| parent | 4aaa9072fc40c9c10bb1501a86505666939deb7d (diff) | |
| parent | 3b490ef66741ff6e822ac641df52f44c17936d97 (diff) | |
[ci skip] Merge pull request #5191 from jim-parry/patch/docs
Fix some mistakes in the user guide
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 916cbe589..f6e8e993b 100644 --- a/.gitignore +++ b/.gitignore @@ -27,4 +27,5 @@ user_guide_src/cilexer/pycilexer.egg-info/* *.stTheme.cache *.sublime-workspace *.sublime-project -/tests/tests/
\ No newline at end of file +/tests/tests/ +/tests/results/
\ No newline at end of file |