diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-06-24 18:35:48 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-06-24 18:35:48 +0200 |
commit | 46e931cf02951d23ab208ae92c2516764db6d914 (patch) | |
tree | 0952aacdd78a61fac8b98ceca2acf2cdf675598c /manual.scrbl | |
parent | 619cc7ed168d47f942b7d4c2190562ac6eafea8b (diff) |
Move public type declarations and definitions to the top of the file.
Diffstat (limited to 'manual.scrbl')
0 files changed, 0 insertions, 0 deletions