Commit 4805bf9ccdc176687526e9e7fca0db763cef42fb

Tom Tromey 2015-11-19T14:17:42

remove FFI_TYPE typedef