File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -14,8 +14,8 @@ section below.
1414 users to keep together the necessary grmtools settings, rather than
1515 having to remember what is set in, for example, a ` build.rs ` file. See
1616 [ Lex Extensions] ( https://softdevteam.github.io/grmtools/latest_release/book/lexextensions.html )
17- and [ Yacc Extensions] (https://softdevteam.github.io/grmtools/latest_release/book/yaccextensions.html
18- for more details) in the grmtools book for more details. ` nimbleparse ` is
17+ and [ Yacc Extensions] ( https://softdevteam.github.io/grmtools/latest_release/book/yaccextensions.html )
18+ in the grmtools book for more details. ` nimbleparse ` is
1919 also able to use ` %grmtools ` directives.
2020
2121 Note that setting options via the command-line / build script overrides
You can’t perform that action at this time.
0 commit comments