diff README.md @ 1992:28fbc627b704

stack: also dim bases Now that they may have index it seems better to have a stronger marking for bases.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Fri, 26 Aug 2016 12:58:16 +0200
parents 85db8af6b5b5
children 9c7665e3107b
line wrap: on
line diff