"Fossies" - the Fresh Open Source Software Archive 
About: Linguist is a library mainly to detect the programming language used in a file (on GitHub.com it is used to detect blob languages, ignore binary or vendored files, suppress generated files in diffs, and generate language breakdown graphs).
| vscode-lean.dep.yml (linguist-7.23.0) | : | vscode-lean.dep.yml (linguist-7.24.0) |
|---|
| --- | | --- |
| name: vscode-lean | | name: vscode-lean |
|
| version: 8ca7fa689bc89f5d327a4d00017855e3ede0561b | | version: aaefba56c60dcbcb4a6737ef7c81caac0bd659b9 |
| type: git_submodule | | type: git_submodule |
| homepage: https://github.com/leanprover/vscode-lean | | homepage: https://github.com/leanprover/vscode-lean |
| license: apache-2.0 | | license: apache-2.0 |
| licenses: | | licenses: |
| - sources: LICENSE | | - sources: LICENSE |
| text: |2+ | | text: |2+ |
| Apache License | | Apache License |
| Version 2.0, January 2004 | | Version 2.0, January 2004 |
| http://www.apache.org/licenses/ | | http://www.apache.org/licenses/ |
| | |
| | | |
| End of changes. 1 change blocks. |
|---|
| 1 lines changed or deleted | | 1 lines changed or added |
|---|