TODO.md: remove portals4

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2021-07-30 20:11:08 +02:00
parent 1238ea9878
commit 6117ee8ce4

View File

@@ -17,7 +17,6 @@ C
* [xpmem](https://github.com/hjelmn/xpmem)
* [sandia openshmem](https://github.com/Sandia-OpenSHMEM/SOS)
* [ummunotify](https://github.com/Portals4/ummunotify)
* [portals4](https://github.com/Portals4/portals4)
C++
* [machinekit](https://github.com/machinekit/machinekit)