From 0007a35a274ab2d07eb937e41971ea5e2c1cb5ff Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Mon, 11 Feb 2019 21:40:53 +0100 Subject: change layout of books --- book/src/internals/ceilings.md | 3 --- book/src/internals/tasks.md | 3 --- book/src/internals/timer-queue.md | 3 --- 3 files changed, 9 deletions(-) delete mode 100644 book/src/internals/ceilings.md delete mode 100644 book/src/internals/tasks.md delete mode 100644 book/src/internals/timer-queue.md (limited to 'book/src/internals') diff --git a/book/src/internals/ceilings.md b/book/src/internals/ceilings.md deleted file mode 100644 index 2c645a4..0000000 --- a/book/src/internals/ceilings.md +++ /dev/null @@ -1,3 +0,0 @@ -# Ceiling analysis - -**TODO** diff --git a/book/src/internals/tasks.md b/book/src/internals/tasks.md deleted file mode 100644 index 85f783f..0000000 --- a/book/src/internals/tasks.md +++ /dev/null @@ -1,3 +0,0 @@ -# Task dispatcher - -**TODO** diff --git a/book/src/internals/timer-queue.md b/book/src/internals/timer-queue.md deleted file mode 100644 index 7059285..0000000 --- a/book/src/internals/timer-queue.md +++ /dev/null @@ -1,3 +0,0 @@ -# Timer queue - -**TODO** -- cgit v1.2.3