diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-29 12:18:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-29 12:18:59 -0400 |
| commit | 3399aef91b4d4684bf2a2935cffde20e80453673 (patch) | |
| tree | 3ecb1ab79b94b3b15342b4d3df1fbaaf9b291263 /src/demo.sig | |
| parent | 34ef5635f48d46a84e542db3f9a77c189da7e60d (diff) | |
Don't mention 'sessions' in the manual
Diffstat (limited to 'src/demo.sig')
0 files changed, 0 insertions, 0 deletions