Merge pull request #43 from tomasriveral/desktop

Weekly sync: desktop → main
This commit is contained in:
github-actions[bot] authored and GitHub committed 2026-10-07 19:44:43 +00:00
commit 3ac5aaa396
1 file changed
+6
+6
View File
@@ -414,6 +414,12 @@
keyword = "icc epfl courseware";
url = "https://courseware.epfl.ch/learner-dashboard/";
}
{
name = "Detexify";
tags = ["draw" "Latex" "symbols"];
keyword = "draw latex symbols";
url = "https://detexify.kirelabs.org/";
}
];
};
search = {