patch 8.2.4793: recognizing Maxima filetype even though it might be another

Problem: Recognizing Maxima filetype even though it might be another. Solution: Remove *.mc and *.dem patterns from Maxima files
2022-04-19 19:38:38 +01:00
parent e468698994
commit 928a131356
3 changed files with 11 additions and 5 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4793,
 /**/
    4792,
 /**/