tree d64676f9ff786bef56746681f65f158989f2e051
parent 141b33de9a141248e2f034d55f48460159536cb9
author Ebrahim Byagowi <ebrahim@gnu.org> 1493913702 +0430
committer GitHub <noreply@github.com> 1493913702 +0430

[cmake] minor (#482)