Post-patch cleanup pt2

Remove extra newline
This commit is contained in:
tekktrik 2022-02-10 09:50:00 -05:00 committed by GitHub
parent 070847d6d7
commit 81dc2ed497
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -112,4 +112,3 @@ Copyright (c) 2000 BeOpen.com. All rights reserved.
Copyright (c) 1995-2001 Corporation for National Research Initiatives. All rights reserved.
Copyright (c) 1991-1995 Stichting Mathematisch Centrum. All rights reserved.