GitLab

[TASK] (thof): added two git alias definitions

This is a legacy commit from before 2015-03-01.
It may be incomplete as well as inconsistent.
See COPYING.legacy and README.history for details.

 texts/thof/gitalias.txt | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

SVN Path:     http://gpitrsvn.gpi.uni-karlsruhe.de/repos/TFSoftware/trunk
SVN Revision: 5673
SVN UUID:     67feda4a-a26e-11df-9d6e-31afc202ad0c