Mercurial > urweb
comparison lib/ur/option.urs @ 2176:d2a98983f502
Start of support for surviving database-server restarts, for Postgres
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 17 Oct 2015 10:49:25 -0400 |
| parents | 36428d853c97 |
| children |
comparison
equal
deleted
inserted
replaced
| 2175:3ffef52d549c | 2176:d2a98983f502 |
|---|