Fix subtitle time display
[jpcrr.git] / docs / 
tree02af5e306f3e943d6119206f1fa36c67f8275308
drwxr-xr-x   ..
-rw-r--r-- 85691 manual.lyx
-rw-r--r-- 54177 manual.txt