From 6117ee8ce4fe710663523db46e3e88af391557c6 Mon Sep 17 00:00:00 2001 From: Alessandro Barbieri Date: Fri, 30 Jul 2021 20:11:08 +0200 Subject: [PATCH] TODO.md: remove portals4 Signed-off-by: Alessandro Barbieri --- TODO.md | 1 - 1 file changed, 1 deletion(-) diff --git a/TODO.md b/TODO.md index 80b8abdcd9..5f2c504af8 100644 --- a/TODO.md +++ b/TODO.md @@ -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)