Yury V. Zaytsev
|
d5bd2d87d7
main: bump gnu global version to 6.5.7 (used to build source index)
|
7 years ago |
Yury V. Zaytsev
|
38de86b7ce
maint: shorten travis build logs by discarding global build output
|
7 years ago |
Yury V. Zaytsev
|
2ed989827f
maint: minor improvements to source index by mooffie
|
8 years ago |
Yury V. Zaytsev
|
47a86b3362
maint: add indexed source generation to Travis deployment script
|
8 years ago |
Yury V. Zaytsev
|
dbb5269100
maint: add Travis CI deployment script
|
8 years ago |