diff options
author | Erez Zukerman <bulk@ezuk.org> | 2018-11-20 15:17:43 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-20 15:17:43 -0500 |
commit | 1485098443b66462b67137715a1ba7c589db9150 (patch) | |
tree | 36423234434eadd1a53a26c13d3f5f213dd2465b /Makefile | |
parent | 303fa4ec3337760922a17fb19150c1aa3f58a3b3 (diff) | |
parent | 26156e84e8913754586b16fecd41f268ede722df (diff) |
Merge pull request #4453 from drashna/fix_ucis
Fix UCIS code
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions