diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-03 13:55:33 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-03 13:55:33 +0200 |
| commit | 4fac60d85ade0f051d411be40d5502f360a28402 (patch) | |
| tree | 3b6b52514c9c2cb779ed659f2daec23d6c6e2b79 /context/data/scite/context/scite-context-user.properties | |
| parent | 088de88944c1f2254250bb448c7371a87ff7ee39 (diff) | |
| download | context-4fac60d85ade0f051d411be40d5502f360a28402.tar.gz | |
2014-04-28 23:25:00
Diffstat (limited to 'context/data/scite/context/scite-context-user.properties')
| -rw-r--r-- | context/data/scite/context/scite-context-user.properties | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/context/data/scite/context/scite-context-user.properties b/context/data/scite/context/scite-context-user.properties new file mode 100644 index 000000000..b6fc34282 --- /dev/null +++ b/context/data/scite/context/scite-context-user.properties @@ -0,0 +1,15 @@ +# this loades the basics + +import context/scite-context + +# internal lexing + +import context/scite-context-internal + +# external lexing (tex, mps, cld/lua, xml) + +import context/scite-context-external + +# this does some tuning + +import context/scite-pragma |