Noted previous change.

[ion3.git] / doc / ionconf.dvi.gz

diff --git a/doc/ionconf.dvi.gz b/doc/ionconf.dvi.gz
index f7e0ba99fa0e4f963aeb71929495da5ca3e9c06b..4c8973bc855f5dff0956744860bb0867bf446737 100644 (file)
Binary files a/doc/ionconf.dvi.gz and b/doc/ionconf.dvi.gz differ