Pieter Vander Vennet f7d19bcc02 Housekeeping		2023-11-23 15:47:16 +01:00
..
defibrillator.json	Housekeeping	2023-11-23 15:47:16 +01:00
defibrillator.svg	Refactoring: highlight the currently selected element	2023-04-27 02:24:38 +02:00
defibrillator.svg.license	More steps toward REUSE-compliance	2023-07-27 03:32:49 +02:00
license_info.json	Unify some license expressions	2023-07-27 02:51:59 +02:00