From 906c4cbd005efe346ff62bb91b58bae4f5254525 Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Sun, 10 Jan 2016 17:43:19 +0100 Subject: [PATCH] There is no libcore, there is only libutil --- doc/src/03000-lib-core.md | 11 ----------- doc/src/03000-lib-util.md | 10 ++++++++++ 2 files changed, 10 insertions(+), 11 deletions(-) delete mode 100644 doc/src/03000-lib-core.md create mode 100644 doc/src/03000-lib-util.md diff --git a/doc/src/03000-lib-core.md b/doc/src/03000-lib-core.md deleted file mode 100644 index a79bb68c..00000000 --- a/doc/src/03000-lib-core.md +++ /dev/null @@ -1,11 +0,0 @@ -# libcore {#sec:libcore} - - - -## Core Datatypes {#sec:libcore:coredatatypes} - -## Core functions {#sec:libcore:corefunctions} - diff --git a/doc/src/03000-lib-util.md b/doc/src/03000-lib-util.md new file mode 100644 index 00000000..2eb12e1a --- /dev/null +++ b/doc/src/03000-lib-util.md @@ -0,0 +1,10 @@ +# libutil {#sec:libutil} + + + +## Datatypes {#sec:libutil:datatypes} + +## Functions {#sec:libutil:functions} +