Skip to content
Snippets Groups Projects

[ui] Expose the "Record Default filename" of the interpreter to the user

Merged MelanieCarriere requested to merge ExposeRecordDefaultFilename into master
  1. Nov 17, 2020
Loading