Zack Middleton a6cf9de19e Remove Travis-CI.org config ... Travis-CI.org shutdown building projects. Alternatives are either using Travis-CI.com or using GitHub Actions which is better integrated and more clear that it's free for all repositories.		2021-09-14 22:39:19 +02:00
..
do_checkinstall	do_checkinstall: always make clean before building	2018-04-01 19:21:51 +02:00
import_flags	update scripts	2018-03-17 23:16:48 +01:00
pot_generator	update scripts	2018-03-17 23:16:48 +01:00
wiki_game_list	add a tool to write the game list wiki page	2018-03-31 18:33:20 +02:00