Correct date in the agenda.
Created by: jeremybennett
This has necessitated adding some infrastructure.
Files changed:
* .gitignore: Created to ignore editor backup and PDF files.
* meetings/README.md: Created to explain purpose of the meeting
directory.
* meetings/agendas/agenda-11-may-2020.md: Created.
Signed-off-by: Jeremy Bennett jeremy.bennett@embecosm.com