diff options
| author | Joop Kiefte <ikojba@gmail.com> | 2018-12-31 18:05:49 +0100 |
|---|---|---|
| committer | Joop Kiefte <ikojba@gmail.com> | 2018-12-31 18:05:49 +0100 |
| commit | 78370fd7daaa90c109aeede3ceae8071c6f5feae (patch) | |
| tree | 830639ed4fc19ac57bfe567b93aaacb77f14027a /.gitignore | |
| parent | 096e5c3b801b245b4fd1a17e9a9fae9ed7e2c0d2 (diff) | |
Add examples and get rid of some old code
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ed7630e --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +lexington +textplay +*.pdf |