Deukhoofd 73f48eab7a

C Interface for History. ...

Signed-off-by: Deukhoofd <Deukhoofd@gmail.com>

2020-08-14 17:24:12 +02:00

..

HistoryElements

C Interface for History.

2020-08-14 17:24:12 +02:00

HistoryElementKind.hpp

Adds support for History data, allowing us to store specific interesting occurrences in the data flow, and recall them later.

2020-08-14 15:18:00 +02:00

HistoryHolder.hpp

Adds support for History data, allowing us to store specific interesting occurrences in the data flow, and recall them later.

2020-08-14 15:18:00 +02:00