Doc: Minor fix related to randomdevice
[shapes.git] / config / 
tree0e372f7de69fd293bc29a55b5386f2059508480d
drwxr-xr-x   ..
-rwxr-xr-x 14869 config.rpath
-rwxr-xr-x 1814 oldtool