david 2ae0b55e42 Gui improvements and ideas		2024-07-20 16:55:10 +02:00
..
concerns	Gui improvements and ideas	2024-07-20 16:55:10 +02:00
application_record.rb	Basic setup, launch config and layout	2024-07-15 14:31:54 +02:00
check.rb	Gui improvements and ideas	2024-07-20 16:55:10 +02:00
checklist.rb	Gui improvements and ideas	2024-07-20 16:55:10 +02:00
checklist_entry.rb	Gui improvements and ideas	2024-07-20 16:55:10 +02:00
element.rb	Gui improvements and ideas	2024-07-20 16:55:10 +02:00
report.rb	Gui improvements and ideas	2024-07-20 16:55:10 +02:00
success_criterion.rb	Gui improvements and ideas	2024-07-20 16:55:10 +02:00