Whamcloud - gitweb
file portals3.lyx was initially added on branch b_devel.
drwxr-xr-x - lustre