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: f4c60a1cf73ae1e1769d7276085ad2c59c09eedc (plain)

#####SKIN (pick ONE)#####
<<<<<<< HEAD
#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