mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-06 08:07:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
21527 commits 777 branches 801 tags 218 MiB
Commit graph

3 commits

Author SHA1 Message Date
Marshall Bowers
8ba392bba6
purescript: Upgrade zed_extension_api to v0.0.6 (#15181) 
This PR upgrades the PureScript extension to use v0.0.6 of the
`zed_extension_api`.

Release Notes:

- N/A
 2024-07-25 08:55:16 -04:00
Marshall Bowers
181dc86b48
Fix typo in PureScript extension's struct name (#9831) 
This PR fixes a copy/paste typo in the name of the PureScript
extension's struct name.

Release Notes:

- N/A
 2024-03-26 16:29:55 -04:00
Marshall Bowers
b8ef97015c
Extract PureScript support into an extension (#9824) 
This PR extracts PureScript support into an extension and removes the
built-in PureScript support from Zed.

Release Notes:

- Removed built-in support for PureScript, in favor of making it
available as an extension. The PureScript extension will be suggested
for download when you open a `.purs` file.
 2024-03-26 13:55:46 -04:00