mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-19 09:16:43 +00:00
1093adca7e
- support saving of files with no file name extension - make the the "All Files (*)" file selection filter the default to see configuration files immediately Fixes #2844
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
a311bac14d399a7a37ed5c9b12190397ab40c419
|