3 commits

Author	SHA1	Message	Date
Marius Orcsik	67aa065f9f	Some other places where we removed Object from names of things	2019-12-05 19:16:48 +01:00
Marius Orcsik	b89c9ee68c	Renamed ObjectID to ID	2019-12-05 19:02:15 +01:00
Marius Orcsik	bd2b51124f	Some improvements to copying collection information	2019-12-05 16:41:53 +01:00