diff options
Diffstat (limited to 'webdoc/plugins.def')
-rw-r--r-- | webdoc/plugins.def | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/webdoc/plugins.def b/webdoc/plugins.def index 6879cf3c..ed267783 100644 --- a/webdoc/plugins.def +++ b/webdoc/plugins.def @@ -1,8 +1,9 @@ -#####SKIN#### -skins/xamarin-external +#####SKIN (pick ONE)##### +#skins/xamarin-external +skins/mono-external ######PLUGINS###### -# plugins/search-plugin/fastsearch -plugins/search-plugin/fullsearch +#plugins/search-plugin/fastsearch +#plugins/search-plugin/fullsearch plugins/sidebar-plugin # plugins/contributior-plugin |