Deukhoofd 59a5ddf5da Move constructing from pointer to Constructor class to easily handle inheritance.		2020-08-22 16:26:14 +02:00
..
HistoryElement.cs	Several fixes and improvements.	2020-08-17 18:51:07 +02:00
HistoryElementKind.cs	Several fixes and improvements.	2020-08-17 18:51:07 +02:00
HistoryHandler.cs	Move constructing from pointer to Constructor class to easily handle inheritance.	2020-08-22 16:26:14 +02:00
MoveUseHistory.cs	Several fixes and improvements.	2020-08-17 18:51:07 +02:00