diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 13:45:47 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 13:45:47 +0100 |
commit | 799a6929490db3a642d817dd61a3c2a9e3891156 (patch) | |
tree | 3052d8a956fbb5a67a376a92d479b647c7f2543b | |
parent | 8121444e67b3ec81a497bbd330c4d3853fcf6691 (diff) |
Cosmetic.
-rw-r--r-- | debian/clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/clean b/debian/clean index e5b53b3..8a3a6cf 100644 --- a/debian/clean +++ b/debian/clean @@ -1 +1 @@ -tikzlexer.h
\ No newline at end of file +tikzlexer.h |