summaryrefslogtreecommitdiff
path: root/Source/DiVine
ModeNameSize
-rwxr-xr-xAUTHORS38logplain
-rwxr-xr-xCOPYING26428logplain
-rwxr-xr-xChangeLog7475logplain
-rwxr-xr-xINSTALL9512logplain
-rwxr-xr-xMakefile.am142logplain
-rwxr-xr-xMakefile.in22749logplain
-rwxr-xr-xNEWS0logplain
-rwxr-xr-xREADME483logplain
-rwxr-xr-xaclocal.m4271720logplain
-rwxr-xr-xautogen.sh3452logplain
-rwxr-xr-xboot152logplain
-rwxr-xr-xboot.log6341logplain
-rwxr-xr-xconfig.guess44888logplain
-rwxr-xr-xconfig.h.in1531logplain
-rwxr-xr-xconfig.sub33387logplain
-rwxr-xr-xconfigure705704logplain
-rwxr-xr-xconfigure.in3449logplain
-rwxr-xr-xdepcomp17867logplain
-rwxr-xr-xdivine-config.in1506logplain
-rwxr-xr-xdivine.pc.in234logplain
d---------driver114logplain
d---------examples303logplain
d---------include114logplain
-rwxr-xr-xinstall-sh13620logplain
d---------lib188logplain
-rwxr-xr-xltmain.sh199991logplain
-rwxr-xr-xmissing11135logplain
d---------proxy151logplain
d---------rules120logplain