David Lewis d3267e7ca8 Make script visible		2018-03-22 13:47:57 -07:00
..
deploy-slim-merge.sh	Make script visible	2018-03-22 13:47:57 -07:00
deploy-sourceforge-merge.sh	Make script visible	2018-03-22 13:47:57 -07:00
freecol-deploy-key.enc	Add a github deploy key for merges from SF	2018-03-22 13:33:28 -07:00
merge-slim.sh	Add auto-merge to slim branch	2018-03-22 13:40:04 -07:00
merge-sourceforge.sh	Add a github deploy key for merges from SF	2018-03-22 13:33:28 -07:00