diff options
| author | georg | 2019-07-13 14:29:55 -0700 |
|---|---|---|
| committer | jvoisin | 2019-07-13 14:29:55 -0700 |
| commit | 1be0a4eefb6276d64de62d955fad60b59f12ee56 (patch) | |
| tree | c1b79eb57a64152e168b1f775229cd1b31f66fce /README.md | |
| parent | dc5603eb1d33067157eed6c19a8b6770bbd32596 (diff) | |
INSTALL: Update Debian package status
Also, make the note generic, to omit the need to update it "constantly".
Closes #76
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions