coffee/coffee.pygments
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/fstar
History
Exact
Matthäus G. Chajdas 23d17d472b Update tests.
2022-06-19 10:06:12 +02:00
..
example.fst Update tests. 2022-06-19 10:06:12 +02:00
example.fst.output Update tests. 2022-06-19 10:06:12 +02:00