diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:46:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:46:00 -0400 |
| commit | 9d959303231d6790e9ffbc631e775abbeaee4584 (patch) | |
| tree | 78c7997fc3428a75364f0c01ca9089a3d786619e /demo/prose | |
| parent | 5bec72c1ee13e48a9e11c3c1b924020436c827fe (diff) | |
Update FFI type of Basis.self
Diffstat (limited to 'demo/prose')
0 files changed, 0 insertions, 0 deletions