aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-04-15 23:30:23 +0200
committerTom Smeding <tom@tomsmeding.com>2024-04-15 23:30:23 +0200
commita95ae379851158f48f90a0274ad74caa44f582e0 (patch)
tree0b0c15034520267f00b22c708715aa28c8f5ceda /.gitignore
parent690a74d571c61330978fdf5e4565ce0b8622030b (diff)
Proper checking in *generate, plus warning in haddocks
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions