diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-06T15·24+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-06T15·24+0000 |
| commit | 90e26d392c7ac4c2a69163f881f73916e6fba3c1 (patch) | |
| tree | bd72c5df6359231f205dd50a1685a809d89d5340 /externals | |
| parent | cfaea07444a0011aa7d91ce1bcc8f105b8f283fa (diff) | |
* Allow null in derivation bindings.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions