summaryrefslogtreecommitdiff
path: root/scripts/problem_html.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 17:56:29 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 17:56:29 +0100
commit9acb5e65c128a3d06567f2142a1bf603780187fc (patch)
tree8a26a55a38d73de57e709570f2a2d3d30e9ea71d /scripts/problem_html.py
parent1d6df08059f1b15292237a4fe6a80bca696adfd7 (diff)
Add db.util.make_identifier function
Does the same as scripts.utils.filenamefy.
Diffstat (limited to 'scripts/problem_html.py')
0 files changed, 0 insertions, 0 deletions