Changelog for agda-language-server-0.2.2.6.2

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog.

v0.2.6.2.2 - 2023-11-21

Changed

v0.2.1 - 2021-10-25

No changes.

v0.2.0 - 2021-10-22

Fixed

v0.1.4 - 2021-10-04

Fixed

v0.1.3 - 2021-10-04

Fixed

v0.1.2 - 2021-10-03

Fixed