Merge pull request #4334 from Tiboris/jose
authorRosen Penev <redacted>
Wed, 3 Apr 2019 21:16:59 +0000 (14:16 -0700)
committerGitHub <redacted>
Wed, 3 Apr 2019 21:16:59 +0000 (14:16 -0700)
commit3ba2e1c878cd1e942ce50b6458df016c2015261a
tree9280d5b4f295bf353ffe4612ac5d654ccdac6621
parentee6a0811bbedca961f4ea99cf05250c024584140
parent589e39bef2ad2a5094357637261fb5802d87746b
Merge pull request #4334 from Tiboris/jose

jose: Add Makefile for jose v10
git clone https://git.99rst.org/PROJECT