zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

add '.gitattributes' for ZZ source code highlighting #83

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

This PR adds a .gitattributes file to the root of the repository specifying files with the .zz file extension should be treated as c++ source code. This is a workaround until we can somehow get official syntax highlighting for ZZ.

aep commented 4 years ago

good idea