aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-09-20 13:11:39 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-09-20 13:11:39 +0200
commitb3c4803c55c7ba39827e6d3a87c34ee79bbae120 (patch)
tree1b12f22f625ece3c0dacbc74bff5aed933da8ca9 /.gitmodules
parent54862377d6fccfbba84b719608d72cb10bab0271 (diff)
renaming local variable
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions