diff options
| author | Joris | 2020-06-14 12:19:26 +0200 |
|---|---|---|
| committer | Joris | 2020-06-14 12:19:26 +0200 |
| commit | aca8201b5b3af0c5d144292c61271402c49ff08a (patch) | |
| tree | d11430b334ce8de6dfe13fd8ea31c8a92f116eb5 /src/Design/Size.hs | |
| parent | 4664a35134feea196c79c8f2f539215c82902f3f (diff) | |
Pin nixpkgs
Diffstat (limited to 'src/Design/Size.hs')
0 files changed, 0 insertions, 0 deletions