Erki 6f6cbe7a63 Voting Fixes (#8386) ...

Ports some miscellaneous fixes from #7872.

2020-03-04 21:38:48 +02:00

..

master

dreamchecker (#8233)

2020-02-16 20:42:32 +02:00

subsystems

Voting Fixes (#8386)

2020-03-04 21:38:48 +02:00

configuration.dm

rustg for UDP shipping (#7897)

2020-01-11 21:17:41 +02:00

controller.dm

Suspending different subsystems during explosion (#7760)

2019-12-24 18:03:18 +01:00

hooks-defs.dm

Enforces Lineendings and adds Editorconfig (#7657)

2019-12-21 16:19:24 +01:00

hooks.dm

…

verbs.dm

Enforces Lineendings and adds Editorconfig (#7657)

2019-12-21 16:19:24 +01:00