diff options
| author | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-06-15 15:05:51 +0200 |
|---|---|---|
| committer | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-06-15 15:05:51 +0200 |
| commit | 0f97b7a64fa3733689b713a2210a4f7b64e069d7 (patch) | |
| tree | 24f2100d87c58fd68681a88fb300cdaceed80a20 /Types.hs | |
| parent | 1c214fa9f75247e802d9c4b6a8e5b39a03b0e9df (diff) | |
| download | reploy-0f97b7a64fa3733689b713a2210a4f7b64e069d7.tar.gz reploy-0f97b7a64fa3733689b713a2210a4f7b64e069d7.tar.bz2 | |
add local anchors to headers
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions