Project

General

Profile

Revision b38ffff3 _tags

View differences:

_tags
1 1
"src": include
2 2
"src/backends/C": include
3
"src/backends/Horn": include
3 4
# OASIS_START
4 5
# DO NOT EDIT (digest: df9189c6c6943133cb99a2bb11ba7f05)
5 6
# Ignore VCS directories, you can use the same kind of rule outside

Also available in: Unified diff