2 Commits

Author	SHA1	Message	Date
Daniel Martí	805c895d59	set up an AUTHORS file to attribute copyright ... Many files were missing copyright, so also add a short script to add the missing lines with the current year, and run it. The AUTHORS file is also self-explanatory. Contributors can add themselves there, or we can simply update it from time to time via git-shortlog. Since we have two scripts now, set up a directory for them.	2020-09-06 21:22:14 +01:00
Daniel Martí	9c4b7d5a44	add the first benchmark and CONTRIBUTING doc	2020-07-16 16:02:51 +01:00