You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
Eli Barzilay fec8ddaed9 Lots of documentation formatting.
Started as fixing misindented definitions, then more indentations, then
a bunch of similar things (square brackets, huge spaces at end-of-lines,
etc).

original commit: d61eb53686f735b979a60dc6f9efd3d2aa9777d9
13 years ago
collects Lots of documentation formatting. 13 years ago