diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-22 12:55:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-22 12:55:48 -0500 |
| commit | 89bf98ed54da03267e0d49d7d71e8b7fe70b6ae4 (patch) | |
| tree | 92801684abbf65eee3669d97bbbe53e3c2e7acf1 /lib/ur/basis.urs | |
| parent | c3b9f6d5c0a2194d3270737145dca7e39e4dfb10 (diff) | |
Using FastCGI debug info
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions