aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-01-13 17:54:47 +0100
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-01-13 18:28:21 +0100
commit53bd823e61ed0bac8f08d6b514be18f6c503f695 (patch)
treef8118f9b73ea22d13b9bcb6989328b4e69be3a75 /INSTALL
parent4cc324272b1f08d150417bf5333a51a39ce36336 (diff)
Tentatively updating credits while remaining brief.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions