diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-06 17:21:15 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-06 17:21:15 +0200 |
| commit | 757b74dbcbb78eee894b0bdb916923ffb2d8e99b (patch) | |
| tree | 9080c7141cf71ea63df304184979e45500bb4180 /GNUmakefile | |
| parent | fd32094cf12d4894a3eb5a9512f2c74f90b61713 (diff) | |
Generalise foreign value conversion.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions