aboutsummaryrefslogtreecommitdiffhomepage
path: root/.mailmap
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2015-01-09 11:48:11 +0100
committerGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2015-01-09 11:48:11 +0100
commit0158e2805d29118a818cab11f5c215793bd329ae (patch)
tree9b69de7081aa495ef692a1453871ecfd413cc976 /.mailmap
parentf1af234b8b3cc9c6ca0b9d527b660d27a099c866 (diff)
STM: fix handling of side effects in vio2vo
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions