annotate README @ 5626:b7b40e65c070

-sb option re-added (noticed by Alexandre Oliva <oliva@lsd.ic.unicamp.br>)
author arpi
date Mon, 15 Apr 2002 00:36:21 +0000
parents 0704cb60a223
children 20389bf27dd4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3372
0704cb60a223 to follow unix traditions
gabucino
parents:
diff changeset
1 The main documentation file is DOCS/documentation.html