use propertize instead of put-text-property
authorRicardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Fri, 24 Oct 2014 14:48:10 +0000 (16:48 +0200)
committerRicardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Fri, 24 Oct 2014 14:48:10 +0000 (16:48 +0200)
commit44a57256679bc429b8f6fdfa20d69eedad739e61
tree06d72fa91bbea0e2851d9c3897eae24ae7fd9e4a
parentbd4af8c9c4ebd8d96cd7bc1900b9dd4db2f72099
use propertize instead of put-text-property
grid-engine-mode.el