tree c6c77736bf91fe02f24c80a6c7d2813ce0dfd6a7
parent 5ffab47238f6e689c65baebf2abb05f827e91473
author gwenn <gtreguier@gmail.com> 1535390042 +0200
committer gwenn <gtreguier@gmail.com> 1535390042 +0200

Mark highlight_dynamic_prompt as deprecated

And fix example.