diff options
Diffstat (limited to '')
-rw-r--r-- | docs/.gitignore | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 19e0041..e69de29 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,13 +0,0 @@ -user_handbook.html -admin_handbook.html -developer_handbook.html -user_handbook.pdf -admin_handbook.pdf -developer_handbook.pdf -*.aux -*.cp -*.cps -*.log -*.toc -*.vr -*.vrs |