diff hgdemandimport/demandimportpy2.py @ 41999:ba064f95175e

samplehgrcs: update the list of suggested extensions Back in the day, this was color and pager, both of which are now default. Churn isn't that popular, but the other four below (obviously?) are.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Fri, 22 Mar 2019 12:30:05 -0400
parents 574e1d3bc667
children 2372284d9457
line wrap: on
line diff