bin/bold
changeset 95 821b1c23c212
parent 93 e32c822c5ac7
child 144 e0fa6b26439c
equal deleted inserted replaced
94:d9a19c5c3ed2 95:821b1c23c212
     1 echo -e "\0002$1"
     1 echo -e "\0002$1\0002"