Mercurial > urweb
log src/pathcheck.sig
age | author | description |
---|---|---|
2008-10-19 | Adam Chlipala | Proper generation of relation names; checking that sequences exist |
age | author | description |
---|---|---|
2008-10-19 | Adam Chlipala | Proper generation of relation names; checking that sequences exist |