diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-03-01T01·07+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-03-01T01·07+0000 |
| commit | 1f5d2d424c94e5c993b47232aff7472fb50d36cb (patch) | |
| tree | 3c71316191fe2aa6316df216f4a925fcb3581359 /tools/cheddar/.gitignore | |
| parent | 33c2a27d775ab63e9ad239f9058bc8097fbfd445 (diff) | |
chore(third_party): Remove guile 3.0 override r/588
I don't actually use guile at all, this was just for experimentation.
Diffstat (limited to 'tools/cheddar/.gitignore')
0 files changed, 0 insertions, 0 deletions