diff options
author | 2022-01-19 13:53:02 -0500 | |
---|---|---|
committer | 2022-01-19 13:53:02 -0500 | |
commit | 8a8ac1cbf22b0aabfc660d6d242f60642c95da9b (patch) | |
tree | 72c20c97eab88ece3c76b82de66c8a643076fa22 /Utility/Metered.hs | |
parent | 844e23125219a40e30acc62a94be16e4d085bd92 (diff) |
Require hinotify < 0.4
hinotify-0.4 changed some types in incompatible ways. Require older
hinotify for now.
Diffstat (limited to 'Utility/Metered.hs')
0 files changed, 0 insertions, 0 deletions