diff options
| author | edef <edef@edef.eu> | 2023-10-09T17·51+0000 |
|---|---|---|
| committer | edef <edef@edef.eu> | 2023-10-09T18·39+0000 |
| commit | ca1ede17cba6d029a8b60d5328ca51a43098491f (patch) | |
| tree | 23b11ab0425938291d730628cfa3115f5313c9a9 /third_party/git/userdiff.h | |
| parent | 49b106b0cb996dd4bf5a5d4ecabc2a7e40025a5f (diff) | |
docs(tvix/nix-compat): document the name ordering requirement r/6753
Change-Id: Ia2c5f0b357a23d4bfac1fd52cf01845c78ebfa22 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9612 Autosubmit: edef <edef@edef.eu> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/git/userdiff.h')
0 files changed, 0 insertions, 0 deletions