Kris De Volder c9e87096fd Bump version to 1.25.1

2021-03-26 20:37:28 +00:00

..

src/main

added basic timing output to logs for hover and completion computation

2021-03-02 12:15:36 +01:00

pom.xml

Bump version to 1.25.1

2021-03-26 20:37:28 +00:00