mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 03:06:39 +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 |
||
---|---|---|
.. | ||
app | ||
drivers/framebuffer/vesa | ||
lib | ||
server | ||
test |