annotate docs/raw/tools.pxm @ 927:175d80cf75d7

serve: Admin dashboard improvements. - Remove total source counts to make it faster to display. - Fix WIP display.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 01 Oct 2017 20:38:19 -0700
parents 26e59f837558
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
243
26e59f837558 docs: Add embryo of a documentation website.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1 (binary:application/octet-stream)