diff options
| author | jvoisin | 2019-03-06 22:03:46 +0100 |
|---|---|---|
| committer | jvoisin | 2019-03-06 22:03:46 +0100 |
| commit | 6b39edc3f2a7684c8c054245934116cbf55d4111 (patch) | |
| tree | e9774c1be0e6f9b791404f173404916d26eb452d /doc/implementation_notes.md | |
| parent | 18570813c97b438902fe2a40b626cb22a4515e5a (diff) | |
Update a bit the release process
Diffstat (limited to 'doc/implementation_notes.md')
0 files changed, 0 insertions, 0 deletions