Gentoo Archives: gentoo-commits

From: Alessandro Barbieri <lssndrbarbieri@×××××.com>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/proj/guru:dev commit in: /
Date: Fri, 30 Jul 2021 18:11:24
Message-Id: 1627668668.6117ee8ce4fe710663523db46e3e88af391557c6.Alessandro-Barbieri@gentoo
1 commit: 6117ee8ce4fe710663523db46e3e88af391557c6
2 Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
3 AuthorDate: Fri Jul 30 18:11:08 2021 +0000
4 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
5 CommitDate: Fri Jul 30 18:11:08 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6117ee8c
7
8 TODO.md: remove portals4
9
10 Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
11
12 TODO.md | 1 -
13 1 file changed, 1 deletion(-)
14
15 diff --git a/TODO.md b/TODO.md
16 index 80b8abdcd..5f2c504af 100644
17 --- a/TODO.md
18 +++ b/TODO.md
19 @@ -17,7 +17,6 @@ C
20 * [xpmem](https://github.com/hjelmn/xpmem)
21 * [sandia openshmem](https://github.com/Sandia-OpenSHMEM/SOS)
22 * [ummunotify](https://github.com/Portals4/ummunotify)
23 -* [portals4](https://github.com/Portals4/portals4)
24
25 C++
26 * [machinekit](https://github.com/machinekit/machinekit)