urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 10:21:31 +03:00
Code Issues Packages Projects Releases Wiki Activity
bc9c4b67d6
shrub/nix/deps/ivory-header
History
Joe Bryan 13f61ad373 nix: removes unnecessary use of cat in ivory-header build
2019-12-04 22:57:07 -08:00
..
builder.sh nix: removes unnecessary use of cat in ivory-header build 2019-12-04 22:57:07 -08:00
cross.nix moves ivory header generation into a separate nix derivation 2019-08-02 13:55:15 -07:00
default.nix moves ivory header generation into a separate nix derivation 2019-08-02 13:55:15 -07:00