summaryrefslogtreecommitdiff
path: root/bin/grepsrc.sh
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2020-11-16 23:36:12 +0100
committerJulius Bünger <buenger@mytum.de>2020-11-16 23:36:12 +0100
commitd30ec0f1fb9ced559b8add2f48eda05a8b58fac0 (patch)
treebc079c6f0633af3f591ece61b594730c3c412f30 /bin/grepsrc.sh
parent0950b1df774f5a040bc1d16d56e939480babe068 (diff)
rps: comment ill-defined code
Diffstat (limited to 'bin/grepsrc.sh')
0 files changed, 0 insertions, 0 deletions