commit 3f4ded7c3d2bd6e7c6a2209b923013b5697d4015 parent 5c3d5c2146f5d06f502603a39131760441590bef Author: Christian Grothoff <christian@grothoff.org> Date: Fri, 29 Mar 2013 17:26:02 +0000 -fixing ecos.texi Diffstat:
| M | doc/ecos.texi | | | 7 | +------ |
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/doc/ecos.texi b/doc/ecos.texi @@ -312,12 +312,7 @@ YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. -@iftex -@heading ECOS EXTENSION -@end iftex -@ifinfo -@center ECOS EXTENSION -@end ifinfo +@center @b{ECOS EXTENSION} @item