diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-09-24 15:40:27 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-09-24 15:40:27 +0200 |
| commit | 7c9d82174ffd24eeae3e4c00b5e5231557b3c03f (patch) | |
| tree | 3c2320e9829950cbff8c20825a7f609a3e8c2551 /bootstrap | |
| parent | 099b283f9c2bcd314f4dbd2761a8abd3ad5d0e72 (diff) | |
more misc edits to the paper, also making sure it fits within page limits
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions