Skip to content

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

Merge request reports

Loading