diff options
| author | Andy Wingo <wingo@pobox.com> | 2015-04-19 13:28:46 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2015-04-19 13:32:26 +0200 |
| commit | 4403aade8da280687d93182792b8284f0c17da06 (patch) | |
| tree | 3e87a5e529a1af6225d935278ca1529bd01fa5b7 /src/run/Makefile | |
| parent | bae6202443defd77c4686f1a8291a85a5395393b (diff) | |
Remove src/run
Diffstat (limited to 'src/run/Makefile')
| l--------- | src/run/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/run/Makefile b/src/run/Makefile deleted file mode 120000 index d0b0e8e008..0000000000 --- a/src/run/Makefile +++ /dev/null @@ -1 +0,0 @@ -../Makefile
\ No newline at end of file |