Merge pull request #210 from mankoff/master
Alphabetized. Added glossaries and xindy package detritus.
Description
Description
Details
Details
- Committed
Paul Betts <paul@github.com> Mar 19 2012, 19:48 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE5a880b532e15: Alphabetized and added xindy and glossaries detritus.
rGITIGNORE083ec8ca3b4c: Merge pull request #209 from pangratz/master - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 5a880b532e15 | Ken Mankoff | Alphabetized and added xindy and glossaries detritus. | Oct 23 2011 |