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
..
res	Remove duplicate pinned sources setting	2022-11-11 15:35:10 -05:00
AndroidManifest.xml	Extract translation from app module (#7975)	2022-09-10 09:58:45 -04:00