Adding /devel to a location that already has /dev seems like an annoyance to the...

		vacri on June 26, 2013 \| parent \| context \| favorite \| on: Understanding the linux filesystem (/etc, /var, /b... Adding /devel to a location that already has /dev seems like an annoyance to the tab-completers among us.