diff develop.cfg @ 260:0ac15efd8c17 default tip

Drop obsolete parameter to bootstrap.py in README.txt
author Daniele Nicolodi <daniele.nicolodi@obspm.fr>
date Mon, 29 Sep 2014 15:49:42 +0200
parents fd572809cb18
children
line wrap: on
line diff