]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #1026 from mbesancon/patch-2
authorZachary Yedidia <zyedidia@gmail.com>
Thu, 8 Feb 2018 00:43:28 +0000 (19:43 -0500)
committerGitHub <noreply@github.com>
Thu, 8 Feb 2018 00:43:28 +0000 (19:43 -0500)
Update julia.yaml


Trivial merge