drush-ops/drush — pull request #525 by bryanhirsch (2014-03-14 02:48:20+00:00)
Title: Updated documentation for drush_log.

Provide a few more details about 'ok', so it's a more obvious alternative to
drush_print, when developers want to print messages to screen and log.

modified: drush.inc