diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-05-29 09:25:57 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-05-29 09:25:57 -0700 |
| commit | 12538a179736a8ba434abf29403d9a2a26ad661c (patch) | |
| tree | 23199676d037fc3bcaa69f02b011aa0174fc6329 /tools/govanity/.envrc | |
| parent | Merge remote-tracking branch 'govanity/main' (diff) | |
| download | infra-12538a179736a8ba434abf29403d9a2a26ad661c.tar.gz | |
tools(govanity): remove unneeded files
These files are not needed in the monorepo.
Change-Id: I742316d7a6fae817bedbcd2e1f91963bc24c91b7
Diffstat (limited to 'tools/govanity/.envrc')
| -rw-r--r-- | tools/govanity/.envrc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/govanity/.envrc b/tools/govanity/.envrc deleted file mode 100644 index 3550a30..0000000 --- a/tools/govanity/.envrc +++ /dev/null @@ -1 +0,0 @@ -use flake |