src/etc/optiondb.scm: Remove all plugins (acquire by a merge?).
authorMatt Birkholz <matt@birchwood-abbey.net>
Sat, 16 Feb 2019 19:13:43 +0000 (12:13 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Sat, 16 Feb 2019 23:05:47 +0000 (16:05 -0700)
commitb6384be33f3fe52432075f80ff1fcdf42dcc90a0
tree57aa53407c56b11b0548b287d69b62136bb9d541
parent24315755dc301cd43db01f09bffdfbc06e4c5632
src/etc/optiondb.scm: Remove all plugins (acquire by a merge?).
src/etc/optiondb.scm