gitpocket
explore
Log in
—
Register
~james
/reorder
summary
tree
log
refs
pull requests
issues
reorder
/
.gitattributes
-rw-r--r--
82 bytes
View
Log
Blame
View raw
Permalink
c27220bf81
— fix(cli): reject invalid delays and surplus inputs
7 days ago
1
* linguist-detectable=false
2
*.smt2 linguist-detectable=true linguist-language=SMT