diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-04-14T13·03+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-04-14T13·03+0000 |
| commit | 435a93b5d845a6fa90675675060ca3cc2d2a650d (patch) | |
| tree | 95f032245ba5ca8fc2f8ec285ef6b415d9567eed /doc/manual/manual.xml | |
| parent | 8b2a01a8c238f36a71157e4c2f8e6cf6ee6f5309 (diff) | |
* Remove references to __XXX primops.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions