diff options
author | Florian Klink <flokli@flokli.de> | 2024-03-01T09·22+0200 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2024-03-03T16·53+0000 |
commit | b0e5a932ece4f94628cb44addc965799650b243e (patch) | |
tree | 73befdbe53f2e5a920249b2ff16eacb05c43238f /tvix/docs/.gitignore | |
parent | c9514b7c0c745ff8848a6e135c4d058dda76d795 (diff) |
docs(tvix): remove differences-drv-paths.md r/7647
This was true while we didn't do string contexts, but drvPath should not differ anymore. Change-Id: I58e6ed439519bd4d68259d1577946f3c65110dc4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11074 Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu> Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/docs/.gitignore')
0 files changed, 0 insertions, 0 deletions