From 54559b3f72ed8ac63ed974ab7d01fce02b294d52 Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Thu, 26 Apr 2012 09:59:35 +0000
Subject: [PATCH] Share project "org.rodinp.handbook.releng" into
 "https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp"

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14617 1434b563-b632-4741-aa49-43a3a8374d2e
-- 
GitLab