Thomas Dietrich
|
707f673c20
|
Re-add incremental to jekyll/Vagrant, delete temp
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
|
2017-10-18 17:04:23 +02:00 |
|
Thomas Dietrich
|
91ee75d821
|
Update Vagrantfile
Signed-off-by: Thomas Dietrich <thomas.dietrich@tu-ilmenau.de>
|
2017-10-18 17:04:23 +02:00 |
|
Thomas Dietrich
|
2dc0ff08cf
|
Replace update script (#498)
- Rename script for more clarity
- Fix pom.xml indention
- Remove gitmodules
- Update Vagrantfile with latest git
- Add README to _repos folder, ignore rest
- Replace update script
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
|
2017-09-15 23:33:06 +02:00 |
|
Thomas Dietrich
|
aabd7502e8
|
Enhance Vagrantfile to use polling
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
|
2016-12-14 19:05:17 +01:00 |
|
Thomas Dietrich
|
c72ed314f7
|
Add Vagrant machine (#57)
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
|
2016-08-04 22:09:26 +02:00 |