summary |
shortlog | log |
commit |
commitdiff |
tree |
github
first ⋅ prev ⋅ next
Michael Wallner [Tue, 13 Oct 2015 08:14:25 +0000 (10:14 +0200)]
flush
Michael Wallner [Tue, 13 Oct 2015 08:12:11 +0000 (10:12 +0200)]
flush
Michael Wallner [Tue, 13 Oct 2015 07:41:06 +0000 (09:41 +0200)]
flush
Michael Wallner [Mon, 12 Oct 2015 19:16:29 +0000 (21:16 +0200)]
generated headers
Michael Wallner [Mon, 12 Oct 2015 19:14:56 +0000 (21:14 +0200)]
flush
Michael Wallner [Mon, 12 Oct 2015 10:46:12 +0000 (12:46 +0200)]
start validator
Michael Wallner [Sun, 11 Oct 2015 12:45:50 +0000 (14:45 +0200)]
add more ffi types; add typedefs
Michael Wallner [Sat, 10 Oct 2015 22:29:25 +0000 (00:29 +0200)]
init