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 /third_party/naersk | |
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 'third_party/naersk')
0 files changed, 0 insertions, 0 deletions