This is an automated email from the ASF dual-hosted git repository.
yulongzhang pushed a change to branch master
in repository
https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git.
from cc3aa0c Merge pull request #2 from SeanVer/master
add afc0721 Add Isabelle command line build file
new 2881641 Merge pull request #3 from apache/cmd_build
The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
access_control_module/ROOT | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
create mode 100644 access_control_module/ROOT
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
