diff options
| author | piegames <git@piegames.de> | 2024-10-15 23:34:20 +0200 |
|---|---|---|
| committer | piegames <git@piegames.de> | 2024-10-18 19:37:23 +0200 |
| commit | 3ba5ef91bc9de8ddd302124e3415192b186f6703 (patch) | |
| tree | 88a6536e170435dcf32b30ce4a24829f2439a53f /.envrc | |
| parent | e5de1d13c493f80ff6cd21c51f77a4ed10088ea2 (diff) | |
benchmarks: Fix purity
Some stuff wasn't working on my machine because it depended on the host
environment in some ways, fixed those.
Change-Id: Iff4931a9a26c6827978f1ee6434710f406d67a96
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions