diff docs/raw/tools.pxm @ 299:88bffd469b04

sources: Make sure page sources have some basic config info they need.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 11 Mar 2015 23:47:14 -0700
parents 26e59f837558
children
line wrap: on
line diff