]> git.lizzy.rs Git - micro.git/commit
Merge pull request #1119 from mbesancon/patch-3
authorZachary Yedidia <zyedidia@gmail.com>
Sat, 26 May 2018 14:08:19 +0000 (10:08 -0400)
committerGitHub <noreply@github.com>
Sat, 26 May 2018 14:08:19 +0000 (10:08 -0400)
commit8f0418c9a8c1a6676e21fc76207afec3821cff1c
tree136ac875c02e85ad1738df1d61377fd3c559aea2
parent71af765b4e4f368c4bbbcb3947f3497e17271b62
parentc0f279ffe8ac21aab96d29c97c8eaff7d561ed13
Merge pull request #1119 from mbesancon/patch-3

Update julia.yaml