This repository has been archived on 2025-03-19. You can view files and clone it, but cannot push or open issues or pull requests.

mathias 2446395f4c

Fixed a bug in the deletion manager

2021-08-19 21:14:53 +02:00

..

api

Removed author comments

2021-08-19 11:58:57 +02:00

drivers

Changed update to updateTo

2021-08-19 21:02:58 +02:00

factory

Cleaned up code

2021-08-19 17:31:13 +02:00

generator

Cleaned up code

2021-08-19 16:44:15 +02:00

manager

Fixed a bug in the deletion manager

2021-08-19 21:14:53 +02:00

storage

Changed update to updateTo

2021-08-19 21:02:58 +02:00

types

Cleaned up code

2021-08-19 16:44:15 +02:00