schroda c852592b34 Prevent adding duplicated extensions to the db table (#808) ...

* Prevent adding duplicated extensions to the db table

There is a possibility that multiple extension repos have been added which contain the same extensions.
In case these extensions have not been added to the db table yet, they would all get added to the db, which would create duplicated extensions

* Use the extension with the latest version from all repos

In case multiple repos have the same extension, use the extension with the latest version

2024-01-09 19:40:31 -05:00

..

src

Prevent adding duplicated extensions to the db table (#808)

2024-01-09 19:40:31 -05:00

build.gradle.kts

Rename the project (#795)

2024-01-05 14:12:35 -05:00