diff options
| author | NitinKM | 2024-01-08 02:46:53 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-08 02:46:53 +0000 |
| commit | e46fb585954a131a8f96cfd71cf2705fe0ff1e02 (patch) | |
| tree | 58992e9b2a9d0c10730e04465f98e5dcea71b3d9 /.github/ISSUE_TEMPLATE | |
| parent | 00d681cc69fcc0d58f3603709400d26ea2647114 (diff) | |
Info on how to skip grammar build when building from source (#8698)
* info: no grammar compile
Added instructions on how to compile without compiling grammars
* Update book/src/install.md
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
---------
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions