* updated krdc (21.12.1 -> 21.12.2), untested
[t2-trunk.git] / package / develop / splint / 
tree4fbd10c1130a109f99f0d5ee6abd1334ac7e807a
drwxr-xr-x   ..
-rw-r--r-- 309 splint.cache
-rw-r--r-- 1230 splint.desc