diff hgext/patchbomb.py @ 31714:bbf7a29dcf9b

minirst: remove redundant _admonitions set As Yuya pointed out during a review a month ago, _admonitions and _admonitiontitles are largely redundant. With the last commit, they are exactly redundant. So, remove _admonitions and use _admonitiontitles.keys() instead.
author Gregory Szorc <gregory.szorc@gmail.com>
date Wed, 29 Mar 2017 20:19:26 -0700
parents 8122cc5cb543
children 46ba2cdda476
line wrap: on
line diff