diff options
Diffstat (limited to 'src/GF/UseGrammar/MoreCustom.hs')
| -rw-r--r-- | src/GF/UseGrammar/MoreCustom.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/GF/UseGrammar/MoreCustom.hs b/src/GF/UseGrammar/MoreCustom.hs new file mode 100644 index 000000000..0ebbb25fb --- /dev/null +++ b/src/GF/UseGrammar/MoreCustom.hs @@ -0,0 +1,15 @@ +module MoreCustom where + +-- All these lists are supposed to be empty! +-- Items should be added to ../Custom.hs instead. + +moreCustomGrammarParser = [] +moreCustomGrammarPrinter = [] +moreCustomSyntaxPrinter = [] +moreCustomTermPrinter = [] +moreCustomTermCommand = [] +moreCustomEditCommand = [] +moreCustomStringCommand = [] +moreCustomParser = [] +moreCustomTokenizer = [] +moreCustomUntokenizer = [] |
