aboutsummaryrefslogtreecommitdiff
path: root/.gitignore (unfollow)
AgeCommit message (Expand)Author
2024-03-22We want to ignore the contents of plugins.HEADmaineichlan
2018-11-20Correcting build issues.Mike Buland
2016-11-01Fixed build against newer bison/flex.Mike Buland