#Presto open source ? https://lists.webkit.org/pipermail/webkit-dev/2013-February/023841.html #fingerscrossed vendredi 15 février 2013 à 09:25 #Presto open source ? https://lists.webkit.org/pipermail/webkit-dev/2013-February/023841.html #fingerscrossed