maint: update .gitignore
commit07778664ecb2a5a7469cdb9e9853f7e5d693cbb3
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 23 Sep 2017 18:10:38 +0000 (23 11:10 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 23 Sep 2017 18:11:53 +0000 (23 11:11 -0700)
tree3ca8ccd7f63f92f5d24789b6747787fa671a77a2
parent48463bb2f8bdbdd77961888514b34b0579da8354
maint: update .gitignore

* .gitignore: Add pre-inst-env, and sort.
.gitignore