From 128578097acea7bae1c8229132622b72e30f39ab Mon Sep 17 00:00:00 2001 From: Paul Chaignon Date: Wed, 18 Sep 2013 22:02:52 +0200 Subject: [PATCH] Files renamed with .pro extension. --- TP1/{basemenu.pl => basemenu.pro} | 0 TP1/{basevalois.pl => basevalois.pro} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename TP1/{basemenu.pl => basemenu.pro} (100%) rename TP1/{basevalois.pl => basevalois.pro} (100%) diff --git a/TP1/basemenu.pl b/TP1/basemenu.pro similarity index 100% rename from TP1/basemenu.pl rename to TP1/basemenu.pro diff --git a/TP1/basevalois.pl b/TP1/basevalois.pro similarity index 100% rename from TP1/basevalois.pl rename to TP1/basevalois.pro