Finally put together fix based on Luke's suggestion in bug #762 c#18...took a bit...
[pinmux.git] / src / migen /
drwxr-xr-x   ..
-rw-r--r-- 3203 safeinmux.py