diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-05-29 09:25:11 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-05-29 09:25:11 -0700 |
| commit | f3a1d10b2c5df68835f86082cfb722ae679190ff (patch) | |
| tree | ab29190a9e513380ff55b297c4ee58be41a70d12 /tools/govanity/.gitignore | |
| parent | fix(cgit): write the test correctly (diff) | |
| parent | remove unused Makefile (diff) | |
| download | world-f3a1d10b2c5df68835f86082cfb722ae679190ff.tar.gz | |
Merge remote-tracking branch 'govanity/main'
Change-Id: I4fd7c748648415db1fa9baaa048ba51e186ec268
Diffstat (limited to 'tools/govanity/.gitignore')
| -rw-r--r-- | tools/govanity/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/govanity/.gitignore b/tools/govanity/.gitignore new file mode 100644 index 0000000..c4a847d --- /dev/null +++ b/tools/govanity/.gitignore @@ -0,0 +1 @@ +/result |