about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-06T15·24+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-06T15·24+0000
commit90e26d392c7ac4c2a69163f881f73916e6fba3c1 (patch)
treebd72c5df6359231f205dd50a1685a809d89d5340 /externals
parentcfaea07444a0011aa7d91ce1bcc8f105b8f283fa (diff)
* Allow null in derivation bindings.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions