Merge, unifying the way we do things in deinit.
[notion.git] / mod_sm / 
tree0a125942550ffd5387577f06c81d86772337459c
drwxr-xr-x   ..
-rw-r--r-- 566 Makefile
-rw-r--r-- 2838 sm.c
-rw-r--r-- 7946 sm_matchwin.c
-rw-r--r-- 1307 sm_matchwin.h
-rw-r--r-- 11104 sm_session.c
-rw-r--r-- 700 sm_session.h