From 093f06f6514d3d54c986211fd5d16cecd206fdc8 Mon Sep 17 00:00:00 2001 From: "Anna (cybertailor) Vyalkova" Date: Fri, 3 Jun 2022 08:52:17 +0500 Subject: [PATCH] TODO.md: remove gitlab (it's packaged in ::gitlab) Signed-off-by: Anna (cybertailor) Vyalkova --- TODO.md | 1 - 1 file changed, 1 deletion(-) diff --git a/TODO.md b/TODO.md index 22e82298bb..45157707ad 100644 --- a/TODO.md +++ b/TODO.md @@ -110,5 +110,4 @@ Name | Buildsystem | Category | User | RFH | Dependency [kaitai](https://github.com/kaitai-io/kaitai_struct) | sbt | util | Alessandro-Barbieri | ✔ | ✖ [casadi](https://web.casadi.org/) | cmake swig | science | Alessandro-Barbieri | ✖ | ✔ [ipyleaflet](https://github.com/jupyter-widgets/ipyleaflet) | setuptools yarn | jupyter | Alessandro-Barbieri | ✔ | ✖ -[gitlab](https://gitlab.com/gitlab-org/gitlab-foss) | yarn gem | vcs | Alessandro-Barbieri | ✔ | ✖ [HOL4](http://hol-theorem-prover.org/) | ? | math | Alessandro-Barbieri | ✔ | ✖