* devel/ftoption.h: Synchronize with master `ftoption.h'.

2018-09-04 21:19:26 +02:00 · 2018-09-04 21:19:26 +02:00 · 48f93e648e
parent c485bece6b
commit 48f93e648e
2 changed files with 306 additions and 304 deletions
--- a/4
+++ b/4
@ -1,3 +1,7 @@
+2018-09-04  Werner Lemberg  <wl@gnu.org>
+
+	* devel/ftoption.h: Synchronize with master `ftoption.h'.
+
 2018-09-03  Nikhil Ramakrishnan  <ramakrishnan.nikhil@gmail.com>

 	[docwriter] Don't break code snippets accross lines.
--- a/devel/ftoption.h
+++ b/devel/ftoption.h