From e87abb9125232860bf3d34e91e5c787b8824945b Mon Sep 17 00:00:00 2001
From: Howard Hinnant <howard.hinnant@gmail.com>
Date: Sun, 11 Feb 2018 16:48:49 -0500
Subject: [PATCH] Remove remote_install and remote_download from synopsis

---
 d0355r5.html | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/d0355r5.html b/d0355r5.html
index 0488105..ec6077a 100644
--- a/d0355r5.html
+++ b/d0355r5.html
@@ -38,7 +38,7 @@ Document number: D0355R5<br>
 <br>
 <a href="mailto:howard.hinnant@gmail.com">Howard E. Hinnant</a><br>
 <a href="mailto:tomaszkam at gmail dot com">Tomasz Kami&nacute;ski</a><br>
-2017-11-26<br>
+2018-02-11<br>
 </address>
 <hr>
 <h1>Extending <code>&lt;chrono&gt;</code> to Calendars and Time Zones</h1>
@@ -1310,8 +1310,6 @@ const time_zone* current_zone();
 
 const tzdb&amp;  reload_tzdb();
 string       remote_version();
-bool         remote_download(string_view version);
-bool         remote_install(string_view version);
 
 // exception classes
 class nonexistent_local_time;