diff options
| author | jvoisin | 2018-07-01 23:27:24 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-01 23:27:24 +0200 |
| commit | a430403c7e7dd33de880c9b3bffb5ab554f81c69 (patch) | |
| tree | 4120c989308fdd9d0b023446dc621a155c25b217 /README.md | |
| parent | bee56a57ce0f45c51386423d508ba06836be366e (diff) | |
Document in our implementation notes how revisions are handled and why
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions
