]> git.lizzy.rs Git - micro.git/commit
Merge pull request #1125 from nabeelomer/master
authorZachary Yedidia <zyedidia@gmail.com>
Sun, 3 Jun 2018 21:13:22 +0000 (17:13 -0400)
committerGitHub <noreply@github.com>
Sun, 3 Jun 2018 21:13:22 +0000 (17:13 -0400)
commit61baa73d70750fc3cb235a2a806a64709605542b
tree53faeb5fbeea4919fbb1c530f9628380b5d3f02a
parentefe343b37c56524eb398d5b4abe5964ec0fc709b
parentcc8e9a7e068088b24c2cfecd14da00d275f701e6
Merge pull request #1125 from nabeelomer/master

F# Configuration