Template:Admin tip
From Event-B
Revision as of 22:44, 4 July 2008 by imported>Mathieu (New page: <onlyinclude><div style="font-color:#535068; border:solid 1px #A8A8A8; padding:0.5em 1em 0.5em 0.7em; margin:0.5em 0em; background-color:#FFFFFF;font-size:85%;"> {| |[[Image:Tools.svg|20...)
20px | Tip for wiki admins: {{{tip}}} |