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