113:2fecc3d7e58e
Anton Shestakov <av6@dwimlabs.net>, Thu, 07 Apr 2016 23:00:45 +0800
index: don't reload the page via href="" on log out Looks like sometimes page reloads before client can disconnect properly.

next change 256:8686b5ef5f88
previous change 12:f2a6139f2b42

Makefile

Permissions: -rw-r--r--

Other formats: Feeds:
all: build
devel:
npm install
sed -i -e 's@^#!/usr/bin/env node$$@#!/usr/bin/env nodejs@' ./node_modules/coffee-script/bin/coffee
build:
./node_modules/.bin/coffee -o ./js/ -cm ./coffee/
.PHONY: all devel build