Update version file for the web site

crux-toolkit · Oct 15, 2024 · f0bf45e · f0bf45e
1 parent 92f6fce
commit f0bf45e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/commands/default.params b/commands/default.params
@@ -8,7 +8,7 @@
 #
 ################################################################################
 
-# Crux parameter file (generated by Crux version 4.2-d8b0e1e-2024-09-11)
+# Crux parameter file (generated by Crux version 4.2-a532fee-2024-10-15)
 # Full documentation available at http://cruxtoolkit.sourceforge.net/
 # comet_version 2016.01 rev. 1
 # Everything following the '#' symbol is treated as a comment.