mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-12-28 17:13:45 +03:00
Making an edit to .github
To make the docs build...
This commit is contained in:
parent
5df78812ef
commit
a99e4ef5a9