Update version file for the web site

crux-toolkit · Apr 15, 2024 · 4658f97 · 4658f97
1 parent 5e9ac98
commit 4658f97
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-78fe262-2024-04-08)
+# Crux parameter file (generated by Crux version 4.2-e480be6-2024-04-15)
 # Full documentation available at http://cruxtoolkit.sourceforge.net/
 # comet_version 2016.01 rev. 1
 # Everything following the '#' symbol is treated as a comment.