Issue 1225: Present Driver Options on the Website - Fast Downward issue tracker

Title	Present Driver Options on the Website
Priority	wish	Status	unread
Superseder		Nosy List	Claudia, jendrik, malte
Assigned To		Keywords
Optional summary

Created on 2026-07-23.12:21:19 by Claudia, last changed by Claudia.

Messages
msg12106 (view)	Author: Claudia	Date: 2026-07-23.12:21:19
Like with the translator options (issue1223) we also want to present the driver options on the website.

History
Date	User	Action	Args
2026-07-23 12:21:19	Claudia	create