]> git.lizzy.rs Git - micro.git/commit
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)
commit6787db9eb33b80dd11cb6f282346c2dfe7f2229e
treeb3b48ef6a8d899c38e215fbeb55b9ead89b8731e
parenta37c30b8898fa7398f1d9eb53091a8e45af25598
parent75b9c8c1ecb8537ef59659f45f736dfa7e276919
Merge pull request #1026 from mbesancon/patch-2

Update julia.yaml