diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-12-13 17:11:51 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-12-13 17:11:51 +0100 |
| commit | 2d75167da62e3486836e5f1773e5f1ab06e43fe8 (patch) | |
| tree | e44fc83e0b1419836d1b21652ad1d38b8d0af2c4 /unsorted/FlexibilityForUser.mdwn | |
| parent | 217998d56f5b6424a685f8c87f2c0e924d1c89da (diff) | |
| parent | 5c5c16e265d8ef56b71f319885f32bf144bdea23 (diff) | |
Merge branch 'master' into external_pager_mechanism
Conflicts:
microkernel/mach/external_pager_mechanism.mdwn
Diffstat (limited to 'unsorted/FlexibilityForUser.mdwn')
| -rw-r--r-- | unsorted/FlexibilityForUser.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unsorted/FlexibilityForUser.mdwn b/unsorted/FlexibilityForUser.mdwn index 06263fab..71b05cfd 100644 --- a/unsorted/FlexibilityForUser.mdwn +++ b/unsorted/FlexibilityForUser.mdwn @@ -4,4 +4,4 @@ The user must have a range of options available that support him to achieve an a _Flexibility means that the user controls what can happen **with** his resources._ --- [[Main/TomBachmann]] - 29 Apr 2006 +-- [[TomBachmann]] - 29 Apr 2006 |