diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-11-05T15·00+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-02-18T15·57+0100 |
| commit | 8950ae95a4b3c9155b3ef642e983ca09a5de001d (patch) | |
| tree | 5d849a4f90fc5ebdc6a8e15c5fcdd55a75a27eb3 /doc/manual | |
| parent | 6605ea0197267f8742edc74a39a5b6fc727afee3 (diff) | |
Disable shellcheck
It's broken at the moment: https://hydra.nixos.org/build/105746055 Also it pulls in GHC which is a pretty big dependency. (cherry picked from commit b4e260d887441fde9ab568dff7c21a77d7cff904)
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions