Remove these ancient Ubuntu bash configs

Christian Rochacommitted parent 9d718894f3530c382db2c801dcc4d09e35f34566a5d3641Browse files
4 files changed+0−208

Rendering diff…