Pedro Pinto b49c764c54 Sped up hedging.

2018-11-13 22:15:30 +00:00

..

import.sh

Sped up hedging.

2018-11-13 22:15:30 +00:00

log.sh

Sped up hedging.

2018-11-13 22:15:30 +00:00

pretty.sh

Fixed a few more hardcoded references to .bts

2018-06-04 17:15:29 -04:00