This repository has been archived on 2021-05-17. You can view files and clone it, but cannot push or open issues or pull requests.

Jan Benda 645499d81f all Makefiles use central project.mk		2017-01-24 14:07:40 +01:00
..
data	[project] add data for numbers project	2017-01-24 10:42:13 +01:00
Makefile	all Makefiles use central project.mk	2017-01-24 14:07:40 +01:00
numbers.tex	update dates in project descriptions	2017-01-22 22:44:09 +01:00