diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2015-03-12 17:45:31 -0500 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2015-03-12 17:45:42 -0500 |
| commit | b58c1df07ddd6e2c8758598c62be39b4b8d8ec5c (patch) | |
| tree | 54bd3ce75c21b66b03515c7c798ec6c6cd877158 /gtk2_ardour/ardev_common.sh.in | |
| parent | 9a05a0fbfbc54a68f658b800c10f1a4ebc461f8f (diff) | |
check for old configuration files and copy if user requests it.
A restart is required. There is a circular dependency between the config files and the GUI, and this restart breaks it
Diffstat (limited to 'gtk2_ardour/ardev_common.sh.in')
0 files changed, 0 insertions, 0 deletions