mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-11 19:17:09 +03:00
Fix a bad rename
This commit is contained in:
parent
b306ffe39f
commit
140d692a2a
Loading…
Reference in New Issue
Block a user