* A little bit more work on the repository. We do not commit files
commite0ebb8756c000f325a14469eec065654882bd0ac
authorEduardo Chappa <chappa@washington.edu>
Sat, 9 Dec 2017 23:22:23 +0000 (9 16:22 -0700)
committerEduardo Chappa <chappa@washington.edu>
Sat, 9 Dec 2017 23:22:23 +0000 (9 16:22 -0700)
treec7824f1d1194adcb49a8f3af5abce1ea2b107c74
parent04737118aa1d9ad3db63fb1064267187ae871856
   * A little bit more work on the repository. We do not commit files
     generated by the configure script.
.gitignore
libtool
pith/pine.hlp
po/Makefile.in