new script to merge global preferences js with prefs.js in Feistermops
authormirabilos <t.glaser@tarent.de>
Thu, 11 Feb 2016 12:11:26 +0000 (13:11 +0100)
committermirabilos <t.glaser@tarent.de>
Thu, 11 Feb 2016 12:11:26 +0000 (13:11 +0100)
commitd13d8d7a88d5162223c9d653e9e0bb03ff13a07d
tree0090114ae6c2d0a5e086af19eb5ff8be804da9a5
parentd671d8b50faec2a485e6232e183adee2f023706c
new script to merge global preferences js with prefs.js in Feistermops
other/prefmerge [new file with mode: 0644]