diff options
| author | stuebinm | 2022-03-06 18:13:08 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-06 18:13:08 +0100 |
| commit | 6b71528e72458bcb5e0a0089033b9367c887967f (patch) | |
| tree | 558b0df9b4760fd8712b35aea4910e8d62330483 /cwality-maps/Substitute.hs | |
| parent | c79dd30b1e335a536df80d0e60b0bca8c9dc5141 (diff) | |
server: small html improvementsplayground
bootstrap is horrible and should be replaced
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions