Harald Welte 9b94c793be Makefile: Only push a tag if there is a .release file ... Change-Id: I73b2ed5794c75d09b166bc65ac79b9cbe3764ad4		2018-06-03 15:54:34 +00:00
..
.make-release-support	Import Makefile from https://github.com/mvanholsteijn/docker-makefile	2017-08-19 19:31:49 +02:00
Makefile	Makefile: Only push a tag if there is a .release file	2018-06-03 15:54:34 +00:00