diff contrib/Makefile.python @ 29572:d86b54d9bb0c

paper: make different blocks of annotated lines have different colors
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 16 Jul 2016 14:49:07 +0800
parents 9f8b8c4e5076
children 5e947367606c
line wrap: on
line diff