From 3464ecab85b20d15e6c3641d8974a8dcfb0d0de6 Mon Sep 17 00:00:00 2001 From: Sijmen Schoon Date: Fri, 1 Nov 2019 00:22:35 +0100 Subject: [PATCH] does this fix highlighting --- main.pl => main.pro | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename main.pl => main.pro (100%) diff --git a/main.pl b/main.pro similarity index 100% rename from main.pl rename to main.pro