diff options
| author | stuebinm | 2022-10-11 14:09:36 +0200 |
|---|---|---|
| committer | stuebinm | 2022-10-11 14:09:36 +0200 |
| commit | b46a545bc4bd48e089338f52a812c401fe2aff0d (patch) | |
| tree | f66399ad533ac5995395c65ae799e5dd35c24cbd /cwality-maps/Substitute.hs | |
| parent | 8f23174ee2079e57c336b1ae84837689fd781214 (diff) | |
remove mentions of divoc
Diffstat (limited to 'cwality-maps/Substitute.hs')
0 files changed, 0 insertions, 0 deletions