Permalink
Browse files

[fix] _tags: include lib/plugins for the moment for make libs

  • Loading branch information...
1 parent c89e444 commit 1379f896a2813f8bf7ff10b2cc8b6081add1701f @Aqua-Ye Aqua-Ye committed Jul 19, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 _tags
View
2 _tags
@@ -12,7 +12,7 @@
<**/*>: -include, -traverse
# Subdirectories to include
-<{ocamllib,compiler,lib,tools,tools/build}>: include
+<{ocamllib,compiler,lib,lib/plugins,tools,tools/build}>: include
# Warnings
<**/*.ml>: warn_L, warn_Z, warn_error_A

0 comments on commit 1379f89

Please sign in to comment.