REPEATING DATA: Remove documentation for unimplemented command.
commit7eff406b9c978ab146f4e81f79391b4f79381f29
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 21 Mar 2024 13:44:03 +0000 (21 06:44 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 21 Mar 2024 13:44:03 +0000 (21 06:44 -0700)
treea46243314bf64b8c7f57b9912289bc5677241acf
parent60785de82c53d1b34256e932ec2c639c1823b77a
REPEATING DATA: Remove documentation for unimplemented command.

This command once had a buggy implementation, which was removed, but the
documentation remained.

Thanks to Frans Houweling for reporting the inconsistency.
doc/data-io.texi