9 Commits

Author	SHA1	Message	Date
Martin Benjamins	cd42498fc9	10.1.7.50587 updates	2023-07-26 02:11:18 +02:00
Martin Benjamins	42b0760f70	Remove 8.0.1.26287 as it was dumped incorrectly (see #41)	2018-10-19 15:37:04 +02:00
Martin Benjamins	6f940886f0	Adopt naming standards as voted for in #1	2018-07-14 18:32:35 +02:00
Martin Benjamins	9f0368686e	Merge defs for 8.0.1.26287 and 8.0.1.26297	2018-05-06 11:32:09 +02:00
Bernd Lörwald	ef84a51e30	[FORMAT CHANGE] let annotations be a comma-separated list	2018-03-18 21:43:36 +01:00
Martin Benjamins	4d7b918b58	Merge 8.0.1.26231 defs	2018-03-16 10:49:46 +01:00
Martin Benjamins	44ae13d974	Final merge	2018-03-14 11:26:12 +01:00
Martin Benjamins	b875e10771	Clearly mark non-inline IDs	2018-03-05 10:50:07 +01:00
Martin Benjamins	c9c92466fd	Add 8.0 defs	2018-03-04 16:04:03 +01:00