diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-13 15:03:54 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-13 15:03:54 +0200 |
| commit | 4cef12f77d73303226ea5ebc8889f6c2cc4ca958 (patch) | |
| tree | bc48122c3d4abe9127f1619f977bcfd853473137 /prolog/runner/sandbox.pl | |
| parent | 7eeadda97ad8acbfd5f92bbef61c7f45249eb187 (diff) | |
Use identifiers instead of names in get_stat
Names have been removed from the database. This code will be updated
when we decide what statistics to present to the user.
Diffstat (limited to 'prolog/runner/sandbox.pl')
0 files changed, 0 insertions, 0 deletions