diff options
| -rw-r--r-- | prolog/lib.pl (renamed from prolog/sandbox.pl) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/prolog/sandbox.pl b/prolog/lib.pl index 232dc70..232dc70 100644 --- a/prolog/sandbox.pl +++ b/prolog/lib.pl |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |