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.old/DeviceRandom.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.old/DeviceRandom.mdwn')
| -rw-r--r-- | user.old/DeviceRandom.mdwn | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/user.old/DeviceRandom.mdwn b/user.old/DeviceRandom.mdwn deleted file mode 100644 index 5071b017..00000000 --- a/user.old/DeviceRandom.mdwn +++ /dev/null @@ -1,22 +0,0 @@ -* Name: massimo sandal -* Email: <devicerandom@gmailNOSPAM.com> -* Company Name: -* Company URL: -* Location: [[HurdUser]] -* Country: Italy -* Comment: 25-y.o. ph.d. student on protein biophysics. linux user since 2004 (not that much). - -**_Personal Preferences (details in %TWIKIWEB%.TWikiVariables)_** - -* Horizontal size of text edit box: - * Set EDITBOXWIDTH = 70 -* Vertical size of text edit box: - * Set EDITBOXHEIGHT = 17 -* Optionally write protect your home page: (set it to your %TWIKIWEB%.WikiName) - * Set ALLOWTOPICCHANGE = - -**_Related topics_** - -* %TWIKIWEB%.%WIKIPREFSTOPIC% has site-level preferences of %WIKITOOLNAME%. -* %WEBPREFSTOPIC% has preferences of the %WIKITOOLNAME%.%WEB% web. -* %WIKIUSERSTOPIC% has a list of other TWiki users. |