comparison shells/bash/bash-post.sh @ 712:0950e7783fde

shells/bash: not the default shell anymore
author David Demelier <markand@malikania.fr>
date Fri, 02 Aug 2019 21:10:00 +0200
parents 263453ab2372
children ddab65a5b3f5
comparison
equal deleted inserted replaced
711:5e8b6691ded2 712:0950e7783fde