• Show log

    Commit

  • Hash : c64d4efb
    Author : Nikolai Weibull
    Date : 2018-10-13T00:12:12

    Remove redefined starts and defines inside include elements
    
    When including a grammar from another grammar, we need to make sure that any
    redefines of starts and includes that that grammar does inside any of its
    include elements are also removed.