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í	f5f72ef626	initial commit	2019-12-08 11:52:40 +00:00