development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-08-28 12:40:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

add pulsar to editor list

Browse source
This commit is contained in:
Daeraxa 2023-09-15 17:07:15 +01:00
parent 1315b179f7
commit bda42ef12d
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
docs/technical/editor-integration.md
View file

@ -351,6 +351,7 @@ These editors are currently supported:
- [JetBrains PHPStorm](https://www.jetbrains.com/phpstorm/)
- [JetBrains WebStorm](https://www.jetbrains.com/webstorm/)
- [Emacs](https://www.gnu.org/software/emacs/)
- [Pulsar](https://pulsar-edit.dev/)
These are defined in a list at the top of the file: