From 276253e66a4df8495a7ab6bb08d8d4f24e1d2d90 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 22 Aug 2018 21:17:58 +0200 Subject: [PATCH] update nomicon and book --- src/doc/book | 2 +- src/doc/nomicon | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/doc/book b/src/doc/book index 88cdde350fd3a..16c9dee7666c2 160000 --- a/src/doc/book +++ b/src/doc/book @@ -1 +1 @@ -Subproject commit 88cdde350fd3a90c93f3bac8b4f168f105d28060 +Subproject commit 16c9dee7666c2b2766fd98d89003e028679d1207 diff --git a/src/doc/nomicon b/src/doc/nomicon index 790e96b87f4b5..ae42ad7aa4d79 160000 --- a/src/doc/nomicon +++ b/src/doc/nomicon @@ -1 +1 @@ -Subproject commit 790e96b87f4b5817cac310e73a524d25c3d076d8 +Subproject commit ae42ad7aa4d7907cca941371c9eee8de8c2ee40d