3 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	f91214d1b0	Better git versioning	2022-07-25 16:48:09 +02:00
Tony Garnock-Jones	ca06131d8a	Clean in Makefile.external	2022-07-23 17:58:24 +02:00
Tony Garnock-Jones	d6840d75e2	Introduce Makefile.external	2022-07-23 14:47:44 +02:00