comparison COPYING @ 4910:5dffb85e62c4

mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)
author Matthew Wild <mwild1@gmail.com>
date Sat, 19 Mar 2022 17:52:33 +0000
parents fc7cd6cbe228
children
comparison
equal deleted inserted replaced
4909:6ce42aacad42 4910:5dffb85e62c4