diff options
| -rw-r--r-- | docs/_data/extra_pages.json | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/_data/extra_pages.json b/docs/_data/extra_pages.json index db155d2ffd..09a6bed09c 100644 --- a/docs/_data/extra_pages.json +++ b/docs/_data/extra_pages.json @@ -401,16 +401,6 @@ }, { "category": "Documentation for Developers - external links", - "title": "On /etc/os-release", - "url": "http://0pointer.de/blog/projects/os-release.html" - }, - { - "category": "Documentation for Developers - external links", - "title": "Control Groups vs. Control Groups", - "url": "http://0pointer.de/blog/projects/cgroups-vs-cgroups.html" - }, - { - "category": "Documentation for Developers - external links", "title": "The 30 Biggest Myths about systemd", "url": "http://0pointer.de/blog/projects/the-biggest-myths.html" }, |