diff options
author | John Wiegley <johnw@newartisans.com> | 2022-08-08 12:33:30 -0700 |
---|---|---|
committer | whonore <wolfhonore@gmail.com> | 2023-04-29 09:28:22 -0400 |
commit | 09d1509ad36c538eea526d04b9f8fe4585b2fbf6 (patch) | |
tree | 4e5eef3c0573b21cab100f2f111260e6bbf9018a /pkgs/development/compilers/roslyn/deps.nix | |
parent | 4e5d7a4ca0d09e37672579b453d1af210ee6ca52 (diff) |
Simplify a deletion in Boogie
Diffstat (limited to 'pkgs/development/compilers/roslyn/deps.nix')
0 files changed, 0 insertions, 0 deletions