tree e90294a3028afc13dc6c7198033062705b071f71
parent 9243ec5d159d43df3025101b0f385fa0a7f1ef4b
parent 812b8471794f2a1a1296b18aced013a81272498a
author gwenn <gtreguier@gmail.com> 1535475662 +0200
committer GitHub <noreply@github.com> 1535475662 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJbhX/OCRBK7hj4Ov3rIwAAdHIIABsd1q7QneJuuqQHaNilCo2/
 C+/Elp5jqpz6wAUdrp2/tAwgFwst+HNV5kFNRC2cyFKP+X35Wh7s9rvSzgdZ4/Oi
 z+xsBribrLa9/7iYm/Ev0zFROm41KDQ7oCxca5bMiNUS/ukKb0b63M1WltqoQPGL
 QRo5nXbGe3TxyP30InyTP5jCVY9VrCqUh4dZcvRNlAGVmbj93/x1GIzFQbdJkA5/
 kSHZyNr2RMd56T8Zf/1VGMTYhpE2SOJM8eVLmV17Aef2wyNiUkOAB1a5pfc4A5M6
 EGD2LLtNILzzaFK98clRMspHj2uyiQqSvrk5YNFSqX/LNAWMGx+RmefRa+vPLpM=
 =PAfM
 -----END PGP SIGNATURE-----
 

Merge pull request #142 from gwenn/highlight_dynamic_prompt

Mark highlight_dynamic_prompt as deprecated