From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: Re: [PATCH] gnu: Add highlight. Date: Sat, 03 Dec 2016 21:17:45 +0100 Message-ID: <87mvgcbwd2.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> References: <20161203194307.19324-1-rekado@elephly.net> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53169) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cDGkq-0007uM-3G for guix-devel@gnu.org; Sat, 03 Dec 2016 15:17:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cDGkm-0001FU-4H for guix-devel@gnu.org; Sat, 03 Dec 2016 15:17:52 -0500 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:41877) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cDGkl-0001FM-VQ for guix-devel@gnu.org; Sat, 03 Dec 2016 15:17:48 -0500 In-Reply-To: <20161203194307.19324-1-rekado@elephly.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus , guix-devel@gnu.org --=-=-= Content-Type: text/plain Ricardo Wurmus writes: > * gnu/packages/pretty-print.scm (highlight): New variable. > --- > gnu/packages/pretty-print.scm | 46 ++++++++++++++++++++++++++++++++++++++++++- > 1 file changed, 45 insertions(+), 1 deletion(-) LGTM. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlhDKGkACgkQoqBt8qM6 VPqkXQf/bVhhDdLEWQAZCk210aPUcypy/K9ZrbnV6LVhzgvR6gFvNFpf9TDGMuQI YM2FX9uGETUaUbIZm/j028jpE+IiCmBxIWsyh5ArVmEtYWeRlEfDCzq0ovG+V8L4 h6kKDyNjGIGegGe0QIYSuxtkjQAySwFj3Zxcn8AbrTNMi0+S6jpPAS5lEc4g1ELI l4PP4MH9IymELsFI05RZlDxurmdR9w6kWzaASZj4aTv2C3+aMseLgNFxL2XkaUM2 QjsypVDB5WcTQDjTGAdDnrv9QXtch9syB4Nh9Lwf1R+UuiQTj9liRCKKaB2N/k+6 KX3GqZxegqSE18eVdRvldzOY/PgARA== =ERkM -----END PGP SIGNATURE----- --=-=-=--