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

#####SKIN####
skins/xamarin-external

######PLUGINS######
# plugins/search-plugin/fastsearch
plugins/search-plugin/fullsearch
plugins/sidebar-plugin
# plugins/contributior-plugin