.

diff --git a/doc/constants.texi b/doc/constants.texi
deleted file mode 100644 (file)
index b5cef48..0000000
--- a/doc/constants.texi
+++ /dev/null
@@ -1,2 +0,0 @@
-@set DEFAULT_MAX_N_UNCHANGED_STATS_BETWEEN_OPENS 5
-@set DEFAULT_MAX_N_CONSECUTIVE_SIZE_CHANGES 200