diff options
| author | John MacFarlane <[email protected]> | 2023-10-30 17:40:29 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-10-30 17:40:29 -0700 |
| commit | d3d0406515cb6aae6f43e60dfa37014bdd91e79c (patch) | |
| tree | 6b21ee4311023ecbc037f1a7959ac64395582e11 /.gitignore | |
| parent | 0f3211c3391cd9e1c638772ddce553f810c0bccc (diff) | |
weeder.dhall -> weeder.toml
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index dbcbea11a..2540f7300 100644 --- a/.gitignore +++ b/.gitignore @@ -40,7 +40,7 @@ !release.nix !shell.nix !stack.yaml -!weeder.dhall +!weeder.toml !app/** !benchmark/** !citeproc/** |