mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-22 09:56:21 +00:00
Merge branch 'master' into openpgp
This commit is contained in:
@@ -186,3 +186,6 @@ $(git_include): $(git_include).in
|
||||
clean-local:
|
||||
rm -f $(git_include) $(git_include).in
|
||||
endif
|
||||
|
||||
check-unit: tests/unittests/unittests
|
||||
tests/unittests/unittests
|
||||
|
||||
Reference in New Issue
Block a user