diff options
| author | euer <root@euer.krebsco.de> | 2012-12-23 00:36:43 +0100 |
|---|---|---|
| committer | euer <root@euer.krebsco.de> | 2012-12-23 00:36:43 +0100 |
| commit | 330cb43cbd2ee15d028376e6da9803453db0f8de (patch) | |
| tree | 379267200d92f3fa3080820dd7791a57d2e03866 /ivan/Makefile | |
| parent | 8de83da090cb7e430658291f01bca171213982b9 (diff) | |
//{streichelzoo,ivan} -> //god
Diffstat (limited to 'ivan/Makefile')
| -rw-r--r-- | ivan/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/ivan/Makefile b/ivan/Makefile deleted file mode 100644 index 38eb1da2..00000000 --- a/ivan/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -.PHONY: infest -BIN_DIR = ../bin -infest: - cp ivan ${INSTALL_DIR} -debian-startup: - cp ivan-startup /etc/init.d/ivan - update-rc.d evan start |