This is an automated email from the ASF dual-hosted git repository. yulongzhang pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git
commit 2881641248807fc6452a39356047e1f83d737dac Merge: cc3aa0c afc0721 Author: Yulong Zhang <[email protected]> AuthorDate: Tue Mar 16 21:14:27 2021 -0700 Merge pull request #3 from apache/cmd_build Add Isabelle command line build file access_control_module/ROOT | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
