summaryrefslogtreecommitdiff
path: root/libguile/private-options.h
diff options
context:
space:
mode:
Diffstat (limited to 'libguile/private-options.h')
-rw-r--r--libguile/private-options.h9
1 files changed, 2 insertions, 7 deletions
diff --git a/libguile/private-options.h b/libguile/private-options.h
index 07b3ff9bb..4f5620f43 100644
--- a/libguile/private-options.h
+++ b/libguile/private-options.h
@@ -1,10 +1,5 @@
-/*
- * private-options.h - private declarations for option handling
- *
- * We put this in a private header, since layout of data structures
- * is an implementation detail that we want to hide.
- *
- * Copyright 2007, 2009, 2010, 2011, 2014, 2018 Free Software Foundation, Inc.
+/* Copyright 2007,2009-2011,2014,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License