Combined display of all available logs of ProB Documentation.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
11:06, 24 March 2013Jens Bendispostotalkcontribs deleted page User Name Mappings(Outdated: content was: 'Several SVN user names have to be mapped to the Git format. While the SVN format only contains a unix name, the Git format contains a full name as well as an email address. We can map any of the following names (taken from bot)