This repository has been archived by the owner on Sep 4, 2019. It is now read-only.

Ptr{None} -> Ptr{Void}#28

Merged

IainNZ merged 1 commit intoJuliaWeb:masterfrom ivarne:patch-1

Sep 29, 2014

+8-8

Commits on Sep 29, 2014

Ptr{None} -> Ptr{Void}
ivarne
committed