diff options
| author | Jakob Odersky <jakob@odersky.com> | 2018-10-25 12:53:30 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2018-10-25 13:12:02 -0700 |
| commit | efffe7db837fb292131c6eacefb42bde2a482883 (patch) | |
| tree | b02a821cc6cd54dc9d4b0dab5c9d9f1b8ce521bf /packages/Makefile | |
| parent | 0b0ae99a63242364f6a6e8966fcb7cb0a0eb1427 (diff) | |
| download | infra-efffe7db837fb292131c6eacefb42bde2a482883.tar.gz infra-efffe7db837fb292131c6eacefb42bde2a482883.tar.bz2 infra-efffe7db837fb292131c6eacefb42bde2a482883.zip | |
Add readme to package directory
Diffstat (limited to 'packages/Makefile')
| -rw-r--r-- | packages/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/packages/Makefile b/packages/Makefile index e8b72d9..01805c7 100644 --- a/packages/Makefile +++ b/packages/Makefile @@ -87,4 +87,3 @@ dist-clean: rm -rf target .PHONY: all run clean dist-clean -# apt install devscripts build-essential lintian qemu-kvm vmdebootstrap |