diff options
| author | jvoisin | 2017-10-13 15:40:58 +0200 |
|---|---|---|
| committer | jvoisin | 2017-10-13 15:40:58 +0200 |
| commit | a081d0ddea4103c1772378870a005267a7bce332 (patch) | |
| tree | dca68b1e66899239a7528a06e64cab70b9a7620a /debian/source | |
| parent | 5969073a80b18b2c21e7c2b1c2c3cdedff618b21 (diff) | |
Improve the doc wrt. the Debian package
- Fix two minor warnings
- Improve the documentation
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..9f8e9b6 --- /dev/null +++ b/debian/source/format | |||
| @@ -0,0 +1 @@ | |||
| 1.0 \ No newline at end of file | |||