diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-06-02 16:43:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-02 16:43:57 +0200 |
commit | f3026b816d7a33e62824bd559692422206196c6d (patch) | |
tree | de352e5b2375debd533f55defe1990f583786a65 /Makefile | |
parent | f9073827f0e8d9b10fa43852a1f981eda44140c8 (diff) | |
parent | f47c5ec83aacd4fd64de36b1047ff2fced766142 (diff) |
Merge pull request #195 from github/revert-194-upstream/remove-normalize
Revert "Remove normalize as an option per #190"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions