diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 16:52:41 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 16:52:41 +0100 |
| commit | e3e5e214164b96920d136d4c22c2decfd308d1c9 (patch) | |
| tree | 624240ab4ffcd56592da6035ea4103949eeb2010 /modules/coq.nix | |
| parent | 0826ec2f6718d84b92e6dd546ad7ecfdf8da80f3 (diff) | |
clean extra whitespace
Diffstat (limited to 'modules/coq.nix')
0 files changed, 0 insertions, 0 deletions