annotate tools/__init__.py @ 59:d0fa4e96a5e4

server side: 404 error is now sent instead of directory listing when requesting a directory
author Goffi <goffi@goffi.org>
date Sun, 29 May 2011 18:39:01 +0200
parents 0110d4e1d816
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source