diff options
Diffstat (limited to 'libguile/private-options.h')
-rw-r--r-- | libguile/private-options.h | 9 |
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 |