diff options
| author | hendriktews | 2016-10-27 13:45:26 +0200 |
|---|---|---|
| committer | GitHub | 2016-10-27 13:45:26 +0200 |
| commit | 8851ccfc7ae8d439b45b56053cf93462f948d85d (patch) | |
| tree | e322ab47e6570cceade9ddb117851a99a94ab7d8 /doc | |
| parent | 25355560b4aa25b17b754c33c9ba2a18d7498df4 (diff) | |
| parent | f9138553b5fc6fcddc7748c3eb18527773406cc9 (diff) | |
Merge pull request #118 from hendriktews/several-fixes
I believe this PR will also fix #119, therefore I think it is good to merge it now.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.gitignore (renamed from doc/.cvsignore) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/.cvsignore b/doc/.gitignore index 1e54881b..1e54881b 100644 --- a/doc/.cvsignore +++ b/doc/.gitignore |