Skip to content

Remove obsolete files

Krzysztof Mochocki requested to merge kmochocki/remove-obsolete-files into develop

Removes obsolete files:

format.py - old script for formatting, once used during rebranding

normalize_schema.py - old script from first implementation of sql_serializer

make_crash.py - accidentally merged script, that has been transformed to tests (see #319 (closed))

Merge request reports