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 /user/pietroferrari.mdwn | |
parent | 217998d56f5b6424a685f8c87f2c0e924d1c89da (diff) | |
parent | 5c5c16e265d8ef56b71f319885f32bf144bdea23 (diff) |
Merge branch 'master' into external_pager_mechanism
Conflicts:
microkernel/mach/external_pager_mechanism.mdwn
Diffstat (limited to 'user/pietroferrari.mdwn')
-rw-r--r-- | user/pietroferrari.mdwn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/user/pietroferrari.mdwn b/user/pietroferrari.mdwn deleted file mode 100644 index 0bf63419..00000000 --- a/user/pietroferrari.mdwn +++ /dev/null @@ -1,3 +0,0 @@ -* Name: Pietro Ferrari -* Email: <pietro@bastardiNOSPAM.net> -* Country: Brazil |