diff options
author | Andy Wingo <wingo@pobox.com> | 2015-04-19 12:58:44 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2015-04-19 12:58:44 +0200 |
commit | 9ad77dd132a43bcb42ec391d0f7acee8935bde6c (patch) | |
tree | 69e8bf0854e20635cf3ed72b0334bbcbb48c401f /src/core/Makefile | |
parent | f48dd74a8d39b6074f820f904953f5cece03b9b0 (diff) |
Remove src/core
Diffstat (limited to 'src/core/Makefile')
l--------- | src/core/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/core/Makefile b/src/core/Makefile deleted file mode 120000 index d0b0e8e00..000000000 --- a/src/core/Makefile +++ /dev/null @@ -1 +0,0 @@ -../Makefile
\ No newline at end of file |