Mercurial > urweb
comparison lib/ur/monad.urs @ 1960:93f3e35a7967
Manual: remove database version numbers from Debian package names, where possible
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 18 Jan 2014 08:34:19 -0500 |
| parents | a613cae954ca |
| children | cbd294994c69 |
comparison
equal
deleted
inserted
replaced
| 1959:3cc14f1e47d1 | 1960:93f3e35a7967 |
|---|