diff options
| author | stuebinm | 2022-03-03 15:59:22 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-03 16:02:07 +0100 |
| commit | eedc2e5e03cb6e45d08eeecbf602536c55f79e8b (patch) | |
| tree | a8fe2b6d6e974d1b6eb93f722528ff3739d62f2d /cwality-maps/Substitute.hs | |
| parent | 99288bc78efc56a5ef05738d365ac6e007adfd10 (diff) | |
cwality-maps: remove unused parameters
the substitutions + templating seems reasonably powerfull, let's see how
far we get without custom-made specific things.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions