Leonid Pliushch 43ac7b0783 Revert "Github-project.txt: Comment out Delve." ... No need to care about conflicting patches. This reverts commit 560839ce81.		2020-12-20 15:32:16 +02:00
..
check-updates.sh	check-updates.sh: do `git pull --rebase` before pushing	2020-12-18 21:40:24 +02:00
github-projects.txt	Revert "Github-project.txt: Comment out Delve."	2020-12-20 15:32:16 +02:00