tree c7a1fe832ff9f9d38d775c6d956cdbed2707db47
parent cced72742f7f8473fcb558f0d4fd663a8e434e1b
author Jesus de Mula Cano <demula@gmail.com> 1299456680 +0100
committer Jesus de Mula Cano <demula@gmail.com> 1299456680 +0100

Check for OS type in demula theme prompt string