diff options
| author | Christopher Baines <mail@cbaines.net> | 2020-04-04 09:59:38 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-04-04 10:29:25 +0100 |
| commit | ab8ae7a64eab6c794563a3b5782e8912d9f67d1c (patch) | |
| tree | c989744c8e3a5a5e273649dc9b24e814df76ffd7 /.gitignore | |
| parent | 7191e80767217280ca0d14012b661d99a393b117 (diff) | |
| download | build-coordinator-ab8ae7a64eab6c794563a3b5782e8912d9f67d1c.tar build-coordinator-ab8ae7a64eab6c794563a3b5782e8912d9f67d1c.tar.gz | |
Remove EXTRA_DIST from Makefile.am
It seems to cause problems, as it's defined in guile.am as well.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions