1. 5ef1fef Move scripts to extras/ by Damjan Marion · 8 years ago
  2. 757585d Move emacs stuff to extras/ by Damjan Marion · 8 years ago
  3. 48009e4 Move vagrant stuff to extras/ by Damjan Marion · 8 years ago
  4. c06eeb0 Fix "make dist" to include version number, docouple it from rpm packaging by Damjan Marion · 8 years ago