Remove dangling symlink in CMBC proofs

awslabs / aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

Apache License 2.0

262 stars 159 forks source link

Closed TingDaoK closed 1 year ago

TingDaoK commented 1 year ago

The templates submodule was removed in #919 so this symlink is now dangling.

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

TingDaoK commented 1 year ago

Oh, I did it wrong, CI runs for the original PR now, closing...