diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-10T13·42+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-10T13·42+0000 |
| commit | 1f169f43b31d02c1fad39df16bb4e61c8cb593df (patch) | |
| tree | ae1bb1c084b61d18f50ccb7a66e6dc061af4afc1 /doc/manual/builtins.xml | |
| parent | 5e2e2f10efab3ba3e0504fb4d1b374a57dfaeb0c (diff) | |
* Leave out the collaborators / revision history page.
Diffstat (limited to 'doc/manual/builtins.xml')
0 files changed, 0 insertions, 0 deletions