diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-10-23 17:39:21 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-10-23 17:39:21 +0200 |
commit | 5667c54c0945452e57e731434630fc13d1506e59 (patch) | |
tree | fed4897875a33bd0a7d7b3b12be15a4431cf2edb /man | |
parent | 46a092c54133fb1d1d2fafb356d8605789d7100d (diff) |
Pending change not commited before
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions