diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 17:56:29 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 17:56:29 +0100 |
| commit | 9acb5e65c128a3d06567f2142a1bf603780187fc (patch) | |
| tree | 8a26a55a38d73de57e709570f2a2d3d30e9ea71d /scripts/problem_html.py | |
| parent | 1d6df08059f1b15292237a4fe6a80bca696adfd7 (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