plugins.def « webdoc - github.com/mono/mono-tools.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

plugins.def « webdoc - github.com/mono/mono-tools.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/webdoc/plugins.def

blob: 43861fd29411fc0516302b8a80cc69a516cd8075 (plain)

#####SKIN (pick ONE)#####
#skins/xamarin-external
#skins/mono-external
#skins/xamarin-new
skins/mono-external

######PLUGINS######
plugins/search-plugin/fastsearch
plugins/search-plugin/fullsearch
plugins/iframe-plugin
plugins/sidebar-plugin
#plugins/tooltip-plugin