]> git.codecow.com Git - Monocypher.git/commitdiff
Merge pull request #140 from fscoto/master+build
authorLoup Vaillant <loup@loup-vaillant.fr>
Thu, 12 Dec 2019 17:26:52 +0000 (18:26 +0100)
committerGitHub <noreply@github.com>
Thu, 12 Dec 2019 17:26:52 +0000 (18:26 +0100)
Two minor build system improvements


Trivial merge