2 Commits

Author	SHA1	Message	Date
Stein Magnus Jodal	d74e40f5e8	docs: git can now push with tags in one command	2015-07-22 18:41:54 +02:00
Stein Magnus Jodal	b2b7b87081	docs: Make devtools a pure release procedure page	2015-03-17 01:16:05 +01:00