diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-10-17 11:31:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-10-17 11:31:22 -0400 |
| commit | 0837a285b65a9aed8e2f31c6fe296414e4ff43dc (patch) | |
| tree | 978c676b71a7cb039109825de7230198697b9adb /tests/headers.ur | |
| parent | a05e87cadacd4f81c3150fdf92b8acf7141d150e (diff) | |
Database-server reconnection for MySQL
Diffstat (limited to 'tests/headers.ur')
0 files changed, 0 insertions, 0 deletions