Robin Krahnen 410ce5de97 added @deprecated to unused properties		2019-10-28 10:31:11 +01:00
..
Exception.php	just some code and annotation cleanup	2018-04-03 10:23:53 +02:00
SequenceGenerator.php	added @deprecated to unused properties	2019-10-28 10:31:11 +01:00