comparison .hgtags @ 2101:de92f7efb030

cleanup: drop an empty section header
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 14 Mar 2017 09:51:25 -0700
parents efda653c96a7
children 237ea5ce21a3
comparison
equal deleted inserted replaced
2100:e5b06a6d8d4b 2101:de92f7efb030