de (on behalf of Etienne Ruedin): update to V5.
[enc.git] / Makefile.server
1 devserver:
2 python -m SimpleHTTPServer
3
4 devserver2:
5 python -m http.server --bind localhost 8888 > /dev/null 2>&1 &