2 Commits

Author	SHA1	Message	Date
rnhmjoj	dce8cfb8b6	ex-1: generalise numeric_mode to take any pdf	2020-07-05 11:35:25 +02:00
rnhmjoj	0ee7f9adb3	ex-1: split into several files	2020-07-05 11:35:11 +02:00