Comparison

mod_vjud/mod_vjud.lua @ 3743:5eab799b5fa4

mod_bookmarks2: Delete legacy PEP bookmarks whenever they get recreated, to prevent them from being used.
author Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
date Wed, 13 Nov 2019 16:54:36 +0100
parent 2179:a90c7d7e7413
child 4910:5dffb85e62c4
comparison
equal deleted inserted replaced
3742:05bca7a771d6 3743:5eab799b5fa4