[headers] .gitattributes as header spec
Showing
- .gitattributes 280 additions, 1 deletion.gitattributes
- src/plugins/aorai/.gitattributes 21 additions, 0 deletionssrc/plugins/aorai/.gitattributes
- src/plugins/dive/.gitattributes 5 additions, 0 deletionssrc/plugins/dive/.gitattributes
- src/plugins/e-acsl/.gitattributes 66 additions, 0 deletionssrc/plugins/e-acsl/.gitattributes
- src/plugins/instantiate/.gitattributes 5 additions, 0 deletionssrc/plugins/instantiate/.gitattributes
- src/plugins/loop_analysis/.gitattributes 5 additions, 0 deletionssrc/plugins/loop_analysis/.gitattributes
- src/plugins/markdown-report/.gitattributes 9 additions, 0 deletionssrc/plugins/markdown-report/.gitattributes
- src/plugins/nonterm/.gitattributes 5 additions, 0 deletionssrc/plugins/nonterm/.gitattributes
- src/plugins/qed/.gitattributes 8 additions, 0 deletionssrc/plugins/qed/.gitattributes
- src/plugins/report/.gitattributes 5 additions, 0 deletionssrc/plugins/report/.gitattributes
- src/plugins/server/.gitattributes 5 additions, 0 deletionssrc/plugins/server/.gitattributes
- src/plugins/value/.gitattributes 6 additions, 0 deletionssrc/plugins/value/.gitattributes
- src/plugins/variadic/.gitattributes 7 additions, 0 deletionssrc/plugins/variadic/.gitattributes
- src/plugins/wp/.gitattributes 65 additions, 0 deletionssrc/plugins/wp/.gitattributes
Loading
Please register or sign in to comment