diff options
| author | Gaëtan Gilbert | 2019-07-02 09:15:40 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-02 09:15:40 +0200 |
| commit | 89b3d677b05b38d4708ffd756f15695c67d0cd6a (patch) | |
| tree | 45477b5a835d868f8355ac816cfd0cd3177515a9 /default.nix | |
| parent | 47389d31c0aa6fafa1c696b1e6f06059751a8217 (diff) | |
| parent | 4b6295cedc8c968ab92a47b60945a9e3a7b2b398 (diff) | |
Merge PR #10340: [vernac] Remove special status of Load, turn it into VtNoProof
Reviewed-by: SkySkimmer
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions