diff options
| author | Florian Klink <flokli@flokli.de> | 2023-01-23T13·46+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-01-23T13·53+0000 |
| commit | b0d6e748acbdfb914bfe53c1c91345a408cc8726 (patch) | |
| tree | 2ccf468fa9046229103c09813dc2a81741e203fc /users/wpcarro/scratch/facebook/utils.py | |
| parent | fc177af0c1dab6a4504e7e95c63507eb2a942e8f (diff) | |
refactor(tvix/derivation): remove DOT_FILE_EXT const r/5739
This is used in few enough places to just inline it. It felt a bit alien in the ATerm construction aswell. write.rs now pleasantly only includes tokens that occur in the ATerm representation. Change-Id: I524f8d6c1ce9057ff7fd16c6c3efd98467040a44 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7911 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users/wpcarro/scratch/facebook/utils.py')
0 files changed, 0 insertions, 0 deletions