diff options
| -rw-r--r-- | webdoc/plugins.def | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/webdoc/plugins.def b/webdoc/plugins.def index f4c60a1c..43861fd2 100644 --- a/webdoc/plugins.def +++ b/webdoc/plugins.def @@ -1,5 +1,4 @@ #####SKIN (pick ONE)##### -<<<<<<< HEAD #skins/xamarin-external #skins/mono-external #skins/xamarin-new |