add f12 to defaults
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 1 Feb 2013 20:57:42 +0000 (21:57 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 1 Feb 2013 20:57:42 +0000 (21:57 +0100)
commit1d4966984063db8c3ea8f9781f3bd9ff65fff096
tree0a82851143ce16862c517dcebddf41dff06ee7c1
parentdd1645d4292ee3b475610f42906b834540e069a2
add f12 to defaults
mirroring/mirror.sh