summaryrefslogtreecommitdiffstats
path: root/extras
AgeCommit message (Expand)AuthorFilesLines
2017-04-26Move scripts to extras/Damjan Marion3-0/+133
2017-04-24Move emacs stuff to extras/Damjan Marion26-0/+3250
2017-04-20Move vagrant stuff to extras/Damjan Marion10-0/+401
2017-04-19Fix "make dist" to include version number, docouple it from rpm packagingDamjan Marion3-0/+343