Latest build deployed.

This commit is contained in:
2026-01-11 13:24:27 -05:00
parent 5f05bd0b9f
commit 63ce1d952b
674 changed files with 4797 additions and 562 deletions
Regular → Executable
+1 -1
View File
@@ -2,7 +2,7 @@
<html>
<!--********************************************-->
<!--* Generated from PreTeXt source *-->
<!--* on 2025-12-31T23:46:14Z *-->
<!--* on 2026-01-11T13:22:35-05:00 *-->
<!--* A recent stable commit (2022-07-01): *-->
<!--* 6c761d3dba23af92cba35001c852aac04ae99a5f *-->
<!--* *-->