Star5
0
代码
代码
Issues
Pull Requests
项目讨论
Wiki
分析
Star5
0
SSascha SchnugAdd .gitattributes file to override githubs language-detection for all .mps/.lp files in repository
cdbbf409创建于 2022年7月16日历史提交
# Exclude mps/lp files from github language stats
*.mps linguist-vendored
*.lp linguist-vendored