]>
2017-11-19 | Zachary Yedidia | Merge pull request #613 from GeigerCounter/build_tools | blob | commitdiff | raw |
2017-10-21 | Zachary Yedidia | Merge pull request #782 from i-amdroid/master | blob | commitdiff | raw |
2017-10-04 | Zachary Yedidia | Merge pull request #850 from nitsakh/feat-809 | blob | commitdiff | raw |
2017-10-02 | Zachary Yedidia | Merge | blob | commitdiff | raw |
2017-10-01 | Zachary Yedidia | Merge pull request #842 from marius92mc/add-editorconfi... | blob | commitdiff | raw |
2017-10-01 | marius92mc | Add .editorconfig and set indent_size to 4 | blob | commitdiff | raw |