diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-28 11:15:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-28 11:15:42 -0400 |
| commit | 213564f740d896c9a8bd86b5e2221d9434b126d3 (patch) | |
| tree | a8c3921d96def7a0b75f2579a9eca46258bf9c83 /lib/ur/top.urs | |
| parent | 0168071775d98602c427b4b915fb6489cc2f10ff (diff) | |
Switch back to starting listener on load
Diffstat (limited to 'lib/ur/top.urs')
0 files changed, 0 insertions, 0 deletions