Give notion some time to properly shut down before starting it again
[notion/jeffpc.git] / mod_sp / 
tree8ac768eb59bb407bd8ce4a5504bf4e0d8831179a
drwxr-xr-x   ..
-rw-r--r-- 504 Makefile
-rw-r--r-- 771 cfg_sp.lua
-rw-r--r-- 5258 main.c
-rw-r--r-- 413 main.h