summaryrefslogtreecommitdiff
path: root/val_studenti.cc
diff options
context:
space:
mode:
authorSanto <sancn@live.com>2017-09-11 17:38:49 +0200
committerGitHub <noreply@github.com>2017-09-11 17:38:49 +0200
commit0546f401f8b476a75114ceb28792a14a7db992d5 (patch)
tree4d3dd1ecad700202e8846398f5b8d5c5069bd41e /val_studenti.cc
parent26c5b163994229424f2873f54fafac845759f371 (diff)
i do not use TravisCI
Diffstat (limited to 'val_studenti.cc')
0 files changed, 0 insertions, 0 deletions