# HG changeset patch
# User HackBot
# Date 1448274918 0
# Node ID b7f77edcacd1f678b67ce78764ddcab1e387a046
# Parent  2b36382e393a6edc6d0422ba7ac60199277af307
<oerjan> undo 6237

diff -r 2b36382e393a -r b7f77edcacd1 wisdom/hppavilion[1]
--- a/wisdom/hppavilion[1]	Sun Nov 22 23:49:28 2015 +0000
+++ b/wisdom/hppavilion[1]	Mon Nov 23 10:35:18 2015 +0000
@@ -1,1 +1,1 @@
-HP pays $3.5m a year to name an arena in San Jose after him.
+hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe.