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 | fa380103cc30d241964dcdffdb3cd766d1fce0a9 (patch) | |
tree | c547365a7fdd632156bfadc46d5743f42bb521b3 /src/mono_env.sig | |
parent | 0a313e650a2642692ebc55788f49c880a6147903 (diff) |
Manual: remove database version numbers from Debian package names, where possible
Diffstat (limited to 'src/mono_env.sig')
0 files changed, 0 insertions, 0 deletions