Template:Admin tip: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m 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... |
(No difference)
|
Latest revision as of 22:44, 4 July 2008
File:Tools.svg | Tip for wiki admins: {{{tip}}} |