diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-01-18 08:34:19 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-01-18 08:34:19 -0500 |
| commit | 6787b686afe5fd3e65b3d377d4c363b4cd086dad (patch) | |
| tree | c547365a7fdd632156bfadc46d5743f42bb521b3 /include | |
| parent | d9f5cfc01bf3aac3efb9b0890090a378aeaf15e5 (diff) | |
Manual: remove database version numbers from Debian package names, where possible
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions