From ebd129b7ff2b67f93dedf27ce9aadd5197f0d015 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 17 Sep 2019 22:28:49 +0200 Subject: [PATCH] update Nomicon and Reference --- src/doc/nomicon | 2 +- src/doc/reference | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/doc/nomicon b/src/doc/nomicon index 38b9a76bc8b59..4374786f0b4bf 160000 --- a/src/doc/nomicon +++ b/src/doc/nomicon @@ -1 +1 @@ -Subproject commit 38b9a76bc8b59ac862663807fc51c9b757337fd6 +Subproject commit 4374786f0b4bf0606b35d5c30a9681f342e5707b diff --git a/src/doc/reference b/src/doc/reference index 1944efed35989..fa5dfb832ef8a 160000 --- a/src/doc/reference +++ b/src/doc/reference @@ -1 +1 @@ -Subproject commit 1944efed35989ba57fa397c0724c4921310311fc +Subproject commit fa5dfb832ef8a7568e17dabf612f486d641ff4ac