2 Commits

Author	SHA1	Message	Date
Giacomo Tesio	cbce16f75e	new build: move devtools to gitea.it	2021-12-30 00:57:34 +01:00
Giacomo Tesio	b5fcad4e29	Add devtools (as submodule) in hacking/	2015-12-22 10:38:12 +00:00