diff options
| author | stuebinm | 2024-10-29 01:43:01 +0100 |
|---|---|---|
| committer | stuebinm | 2024-10-29 01:43:01 +0100 |
| commit | 31135ab11ba1133f723200003bf21d47f5a4d03e (patch) | |
| tree | 59e203c2c0d0a2d7cdf3250fdbffee462f18b6e4 /shell.nix | |
| parent | 768db4942bf40d0ca14a45f94ff406154dda5b03 (diff) | |
universum's microlens exports are deprecated
unfortunately, there seems to be no better way than hiding them
manually, so this code will still break once they remove them.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions