Alexander Heldt 5e653993a4 pinwheel: Don't use dialogue boxes for prompts; use the minibuffer

2023-10-26 22:08:19 +02:00

..

pinwheel

pinwheel: Don't use dialogue boxes for prompts; use the minibuffer

2023-10-26 22:08:19 +02:00

sombrero

sombrero: Update to 23.05

2023-10-26 22:08:19 +02:00