Merge branch 'master' of github.com:exhu/nimrod-misc

exhu · Feb 25, 2013 · 5706cbc · 5706cbc
2 parents 0870b5b + a746429
commit 5706cbc
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/jedit/README b/jedit/README
@@ -5,3 +5,5 @@ Add line to ~/.jedit/modes/catalog:
 
 <MODE NAME="Nimrod" FILE="nimrod.xml" FILE_NAME_GLOB="*.nim" />
 
+Or copy "catalog" file from here if you don' have any custom modes.
+
diff --git a/jedit/catalog b/jedit/catalog
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+<!DOCTYPE MODES SYSTEM "catalog.dtd">
+
+<MODES>
+
+<!-- Add lines like the following, one for each edit mode you add: -->
+<!-- <MODE NAME="foo" FILE="foo.xml" FILE_NAME_GLOB="*.foo" /> -->
+
+<MODE NAME="Nimrod" FILE="nimrod.xml" FILE_NAME_GLOB="*.nim" />
+
+</MODES>