comparison mod_vjud/mod_vjud.lua @ 3028:ded630a87563

mod_pastebin: Replace tags using :maptags API instead of hacky direct manipulation
author Kim Alvefur <zash@zash.se>
date Sun, 20 May 2018 17:49:00 +0200
parents a90c7d7e7413
children 5dffb85e62c4
comparison
equal deleted inserted replaced
3027:ce34cbc10b5b 3028:ded630a87563