homepage: fix typo in Inria phone number
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 1 Apr 2019 08:50:31 +0000 (10:50 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 1 Apr 2019 08:50:31 +0000 (10:50 +0200)
commit6738aa7c80b85d353fd77e3e99a8ac0627d0f01b
tree9e559485ee5467d0e408ca34f869bc142e5f41a6
parent9834e3c999607a3ac115aba9499f9307f1363ba0
homepage: fix typo in Inria phone number
index.mdwn