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 /net/crimp/src | |
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 'net/crimp/src')
0 files changed, 0 insertions, 0 deletions