diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-04-04 19:08:51 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-04-04 19:08:51 +0200 |
| commit | 7fc9ccdc82999e02ebe587b7775bb7abd1f00440 (patch) | |
| tree | a68c056e55c772538ac79f689861df1dc79acc4d /microkernel/mach/port.mdwn | |
| parent | d0f0c0d22f5a3359c50ffe3c1f0ddf6b29a38f53 (diff) | |
Application time -> evaluation time.
Diffstat (limited to 'microkernel/mach/port.mdwn')
0 files changed, 0 insertions, 0 deletions