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 jamesbornholt closed 1 year ago

jamesbornholt commented 1 year ago

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

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