Matthias Beyer
932ba3e7d4
In case of auto-generating the file name, we should add an extension. If we do not auto-generate the file name, we should warn that the extension for the file is missing. |
||
---|---|---|
.. | ||
create.rs | ||
main.rs | ||
ui.rs | ||
util.rs |