2 commits

Author	SHA1	Message	Date
jaseg	5e0be7687e	Censor author-identifying info for double-blind peer review	2021-04-13 15:13:34 +02:00
jaseg	870521e698	Repo re-org: move doc/paper to top level	2021-04-08 14:06:57 +02:00