Ce dépôt a été archivé le 2024-03-02. Vous pouvez voir ses fichiers ou le cloner, mais pas ouvrir de ticket ou de demandes d'ajout, ni soumettre de changements.

arkon a8eebd824a Remove duplicate pinned sources setting ... I guess it's simpler to just have 1 entry in the list (other than the last used duplicate). This helps ensure that the list is as short as it can be.		2022-11-11 15:35:10 -05:00
..
src/main	Remove duplicate pinned sources setting	2022-11-11 15:35:10 -05:00
.gitignore
build.gradle.kts