JuliaLang/julia — pull request #7110 by StefanKarpinski (2014-06-04 02:30:59+00:00)
Title: new non-binary .julia_history format

https://github.com/JuliaLang/julia/issues/6348