Update copyright year in both README files

README

@@ -3,19 +3,19 @@ This directory contains the mCRL2 toolset.
 See our website <https://mcrl2.org> for extensive documentation on the usage of
 the toolset.
 
-Report bugs at our issue tracker <https://github.com/mCRL2org/mCRL2/issues>. 
-Please include the version number from `mcrl22lps --version', and a complete, 
+Report bugs at our issue tracker <https://github.com/mCRL2org/mCRL2/issues>.
+Please include the version number from `mcrl22lps --version', and a complete,
 self-contained test case in each bug report.
 
-Contributions can be made by means of a pull request to the Github repository 
-at <https://github.com/mCRL2org/mCRL2>. For detailed information on this 
+Contributions can be made by means of a pull request to the Github repository
+at <https://github.com/mCRL2org/mCRL2>. For detailed information on this
 procedure see the documentation.
 
 If you have questions about using the mCRL2 toolset which the documentation
 does not answer, send a mail to <mcrl2-users@listserver.tue.nl>.
 
 -----
 
-Copyright (C) 2005-2018 Eindhoven University of Technology
+Copyright (C) 2005-2019 Eindhoven University of Technology
 
 See the file COPYING for license information.

README.md

@@ -53,7 +53,7 @@ If you have questions about using the mCRL2 toolset which the documentation does
 not answer, send a mail to <mcrl2-users@listserver.tue.nl> or open an issue.
 
 ## License
-Copyright (C) 2005-2018 Eindhoven University of Technology  
+Copyright (C) 2005-2019 Eindhoven University of Technology  
 mCRL2 is licensed under the [Boost
 license](https://www.boost.org/LICENSE_1_0.txt). See the file COPYING for
 detailed license information.