diff options
| author | Phillip Lord <phillip.lord@russet.org.uk> | 2019-06-13 20:35:36 +0100 |
|---|---|---|
| committer | Phillip Lord <phillip.lord@russet.org.uk> | 2019-06-13 20:35:36 +0100 |
| commit | ba0a346583231c5450759a0cf86fe2c896762352 (patch) | |
| tree | 15876970a82ad80dfd1fa03a2f903993b0485273 /.gitignore | |
| parent | 11abbd27472d032f0f272cd45206f5af855aafea (diff) | |
| download | org-drill-ba0a346583231c5450759a0cf86fe2c896762352.tar.gz org-drill-ba0a346583231c5450759a0cf86fe2c896762352.zip | |
Removed generated file
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,3 +2,4 @@ org-drill.html /*.elc /makefile-local +/robot/Makefile |