commit | 379f28b48a952bad064feea53ba2831c7577aef8 | [log] [tgz] |
---|---|---|
author | Itai Ferber <itai@itaiferber.net> | Sat Jul 01 14:34:39 2017 -0700 |
committer | GitHub <noreply@github.com> | Sat Jul 01 14:34:39 2017 -0700 |
tree | a79a277d275fcc33ecb611ee157e0235181dd085 | |
parent | d8c2af3cf4c0e0c9ec6e1f8d9c17051866d6f84d [diff] | |
parent | 7d0410bf8dd780f3fb164b0bc52cd559dddc868e [diff] |
Merge pull request #1091 from itaiferber/non-optional-coding-paths Make coding paths non-optional [DO NOT MERGE]