Lars Hvam 3321eed0eb ci: update constants (#3723)		2020-08-10 09:40:20 +02:00
..
abaplint.json	ci: update constants (#3723)	2020-08-10 09:40:20 +02:00
deploy-merged-build.sh	use github actions instead of travis (#3290)	2020-04-07 18:40:04 +02:00
deploy-release-tag.sh	Distinguish error messages in release tag script (#3538)	2020-06-23 17:41:16 +02:00