diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2016-04-08 11:00:38 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2016-04-08 11:00:38 +0200 |
| commit | 19716e93d8f8a5cc1d6ec6a7ee9c7a4cb9ceb6c2 (patch) | |
| tree | 9e2eb3e24a6858dfa699f04889c7d65ae230a845 /.gitignore | |
| parent | b3631b8ef473a314a504321d0442b6a5ea481a99 (diff) | |
remove with-editor.info
This wasn't supposed to be tracked. Having to track with-editor.texi
is bad enough already.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..bf12a97 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*.info |