# HG changeset patch # User diego # Date 1068673686 0 # Node ID 3c42df11d60e9ce490ff4489898f62ca65fa076a # Parent f1810bac10f4f85fbccb6bc21c886d13fc1ff373 Intel --> Intel compatible, inspired by Maciej Paszta diff -r f1810bac10f4 -r 3c42df11d60e DOCS/xml/en/users-vs-dev.xml --- a/DOCS/xml/en/users-vs-dev.xml Wed Nov 12 18:00:55 2003 +0000 +++ b/DOCS/xml/en/users-vs-dev.xml Wed Nov 12 21:48:06 2003 +0000 @@ -139,7 +139,7 @@ to configure). It is disabled by default because it implies a small speed sacrifice, but it is now possible to create binaries that run on different members of the Intel -CPU family. +compatible CPU family.