diff options
| author | Joris | 2020-12-16 09:27:48 +0100 |
|---|---|---|
| committer | Joris | 2020-12-16 09:27:48 +0100 |
| commit | 0f4872043e696f64d9107c92e91817e7ee85d1d7 (patch) | |
| tree | d283f3ad1a81630057fcc9c75621f29fc5bceb15 /src/Design/Size.hs | |
| parent | b899c6f9385055d4342dc2db07f1b64065e6671f (diff) | |
Remove configs from projects
They have been made private.
Diffstat (limited to 'src/Design/Size.hs')
0 files changed, 0 insertions, 0 deletions