boyska 4735dba5de better avoid versioning in the namespace ... if we ever need to apply some versioning later, we can do so introducing new tags, or specifying the version in other ways		2022-01-21 10:29:00 +01:00
..
examples	better avoid versioning in the namespace	2022-01-21 10:29:00 +01:00
failing	better avoid versioning in the namespace	2022-01-21 10:29:00 +01:00
Makefile	Initial commit	2022-01-20 22:24:33 +01:00