diff options
| author | zeapo <mohamed@zenadi.com> | 2014-12-04 21:43:27 +0100 |
|---|---|---|
| committer | zeapo <mohamed@zenadi.com> | 2014-12-04 21:43:27 +0100 |
| commit | d98a30ee4828eff9b1b8c28ca917322b502ac08c (patch) | |
| tree | c72d9cbd2de773579498af1c287ed87c577edbe6 /crypto-pgpainless/src | |
| parent | 173248e1bb96fd971027ac8a36fdc7e12825fe23 (diff) | |
Add the possibility to edit git server information
Also uses jgit 3.6
Diffstat (limited to 'crypto-pgpainless/src')
0 files changed, 0 insertions, 0 deletions