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 | d08b89fd32f79f2b24bb3f018d5db499f0751518 (patch) | |
tree | 3ecb1ab79b94b3b15342b4d3df1fbaaf9b291263 /include | |
parent | 786669f33160dd860121a351e15608be5598d1ae (diff) |
Don't mention 'sessions' in the manual
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions