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 /src/search.sml | |
parent | d9f5cfc01bf3aac3efb9b0890090a378aeaf15e5 (diff) |
Manual: remove database version numbers from Debian package names, where possible
Diffstat (limited to 'src/search.sml')
0 files changed, 0 insertions, 0 deletions