2 Commits

Author	SHA1	Message	Date
Jan Benda	c011e90fdd	removed texpicture command where not needed	2020-12-23 23:04:09 +01:00
Jan Benda	e37591d274	renamed further-topics/ to replicability/	2020-12-14 10:48:37 +01:00