diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-06-06 14:42:07 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:10 +0200 |
| commit | 3f0f9d5b0caf7a49044a8aa8935e954415141e4a (patch) | |
| tree | 3887a1b534125952029df1586e4322eaef126389 | |
| parent | 076a50c07bd66cc978f25df20338cbc2600c577a (diff) | |
Elaborate.
| -rw-r--r-- | ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,7 +12,7 @@ 2007-05-09 Thomas Schwinge <tschwinge@gnu.org> * include/mach/mach_types.defs (userprefix, serverprefix): Set, if - requested. + requested (by setting USERPREFIX respective SERVERPREFIX). 2007-05-08 Samuel Thibault <samuel.thibault@ens-lyon.org> |