author | Tobias Bindhammer <tobias.bindhammer@uni-ulm.de> | |
Mon, 23 Aug 2010 11:48:50 +0000 (11:48 +0000) | ||
committer | Tobias Bindhammer <tobias.bindhammer@uni-ulm.de> | |
Mon, 23 Aug 2010 11:48:50 +0000 (11:48 +0000) | ||
commit | 8fb9e19802e0b70620175da0487dd9afa7077e2d | |
tree | b87626ef09b4cb05dbce0b490f5f759ac027529a | tree | snapshot |
parent | 901694f1607802202ec7ba594369413d8ae1e06e | commit | diff |
doc/general.texi | diff | blob | history |