diff docs/raw/tools.pxm @ 431:bdeeee777f85

internal: Floats are also allowed in configurations, duh.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 27 Jun 2015 21:45:48 -0700
parents 26e59f837558
children
line wrap: on
line diff