diff options
| author | James Landrein <james.landrein@gmail.com> | 2022-10-13T21·29+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-10-14T08·53+0000 |
| commit | cbbe283b6fda93e86478c16ea295e13374eccd58 (patch) | |
| tree | 69b77d6c31f39751e8041c7e202ab4d83de59581 /net/mushroom/.gitignore | |
| parent | d4bc58b38d4ff5a58ea92f1ae8ac9c1290e1c741 (diff) | |
refactor(tvix/eval): order builtins alphabetically r/5127
This makes it easier to compare currently implemented ones with the full list. Change-Id: Ibaffd99d05afa15fc9ab644fd101afa24fc7a1b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7008 Tested-by: BuildkiteCI Autosubmit: j4m3s <james.landrein@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'net/mushroom/.gitignore')
0 files changed, 0 insertions, 0 deletions