diff bootstrap.py @ 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 773d9567dcb2
children
line wrap: on
line diff