* Clean up some generated files from the repository and update
commit39a1ab075bb04475114ada78146e9cb35b17e63b
authorEduardo Chappa <chappa@washington.edu>
Tue, 9 Jul 2019 18:05:25 +0000 (9 12:05 -0600)
committerEduardo Chappa <chappa@washington.edu>
Tue, 9 Jul 2019 18:05:25 +0000 (9 12:05 -0600)
tree4fff91941baaa8d301d854ea3145145ffd0cf453
parentd173ec00a3e067ccd3a32749aff1d897cdea108b
   * Clean up some generated files from the repository and  update
     gitignore. Suggested by Edmund Lau.
.gitignore
include/stamp-h1 [deleted file]
po/POTFILES [deleted file]