diff .hgtags @ 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 6e25a120038a
children
line wrap: on
line diff