diff options
| author | Sebastian Zivota | 2024-01-14 14:11:40 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-14 14:11:40 +0000 |
| commit | a0b02106c35ede95438bd23069d2b7f999ed8684 (patch) | |
| tree | 9b7c295925d07385da31ddd31682d4b72bbc5ecb /.gitignore | |
| parent | 054ce3961af4006d66529fe5fbbc44b47e2ee079 (diff) | |
Make nix flake respect unused grammars (#9326)
* Make nix flake respect unused grammars
* Use default value
* Refactor
* Take use-grammars.only into account
---------
Co-authored-by: Sebastian Zivota <sebastian.zivota@mailbox.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions