diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-19 19:00:06 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-19 19:00:06 +0200 |
| commit | 802e92f0fd043eec0885c56de8c460c2f58dd438 (patch) | |
| tree | 16335152207ddfda910b0a51b83433a98b8a8108 /people | |
| parent | e647858ab67e456ea22815b0f6945108702b707c (diff) | |
empty commit to force ci to run
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions