aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega
diff options
context:
space:
mode:
authorGravatar Regis-Gianas <yrg@pps.univ-paris-diderot.fr>2014-11-04 23:05:50 +0100
committerGravatar Regis-Gianas <yrg@pps.univ-paris-diderot.fr>2014-11-04 23:05:50 +0100
commitf6a3e5523e49f7212ea6ddf7a38b477dae616d1a (patch)
tree06e28e7e99863c054aae666ad0d69cf67dc538ac /plugins/micromega
parent7cc2bda87604f06bc453fa04b03f7d51dc7a1cb0 (diff)
lib/Ppconstr: Cosmetics.
Diffstat (limited to 'plugins/micromega')
0 files changed, 0 insertions, 0 deletions