This repository has been archived by the owner on Oct 15, 2024. It is now read-only.

file name extension information in contract #175

Closed

markus2330 opened this issue Jan 16, 2015 · 1 comment

Assignees

Labels

Contributor

markus2330 commented Jan 16, 2015

needed for gui, maybe for converting files, too

markus2330 self-assigned this

markus2330 added the enhancement label

markus2330 changed the title ~~file ending information in contract~~ file name extension information in contract

Contributor Author

markus2330 commented Jul 10, 2015

not necessary, prefer to allow any file name extension for any type in the gui

markus2330 closed this as completed

markus2330 mentioned this issue

rest-backend: sharing of configuration snippets #829

Merged

9 tasks

markus2330 mentioned this issue

Improve the Plugin Usage and Configuration Experience #3562

Closed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.