Yury V. Zaytsev d5bd2d87d7 main: bump gnu global version to 6.5.7 (used to build source index) 6 years ago
..
find-dup-includes 1c6d859629 Reorder files in maint/ subdirectory. 11 years ago
sync-transifex 9d8c780934 maint: fix hint file processing 6 years ago
check-indent.sh 5075494e42 maint: import a tool to check source code indentation style 8 years ago
deploy-key.enc ae197c7584 maint: add encrypted deploy key for Travis CI 8 years ago
deploy-key.pub ae197c7584 maint: add encrypted deploy key for Travis CI 8 years ago
doctest 1c6d859629 Reorder files in maint/ subdirectory. 11 years ago
travis-build.sh d1766655d3 maint: try to build & run as much tests as possible with `-k` make option 7 years ago
travis-deploy.sh d5bd2d87d7 main: bump gnu global version to 6.5.7 (used to build source index) 6 years ago
unrefglobals.pl 1c6d859629 Reorder files in maint/ subdirectory. 11 years ago
version.sh 940fab955c maint: shorten commit hash if `git describe` fails 7 years ago