Home
last modified time | relevance | path

Searched hist:e78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd (Results 1 – 9 of 9) sorted by relevance

/plugin/mizarverifiabledocs/
H A D.gitignoree78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A D.gitattributese78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A Dpackage.jsone78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A Dpackage-lock.jsone78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

/plugin/mizarverifiabledocs/src/
H A Dhighlight.jse78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A Dmizar-parser.terms.jse78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A Dmizar.grammare78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A Dmizar-parser.jse78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP

H A Dscript.jse78fd15d39b8dd9d1fcf9cba3bfc4c4ca9b62cdd Thu Nov 14 00:17:01 UTC 2024 YamadaMiz <104548654+YamadaMiz@users.noreply.github.com> Fix line endings normalization in .gitattributes

- Enforces LF line endings across all files to avoid CRLF conflicts
- Excludes unnecessary development files from release ZIP