Update version file for the web site

crux-toolkit · Jul 3, 2024 · f273120 · f273120
1 parent 206c4d5
commit f273120
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-a3e1d9c-2024-07-02)
+# Crux parameter file (generated by Crux version 4.2-15dc8c9-2024-07-03)
 # Full documentation available at http://cruxtoolkit.sourceforge.net/
 # comet_version 2016.01 rev. 1
 # Everything following the '#' symbol is treated as a comment.