diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-06-10 21:47:42 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-06-10 21:47:42 +0200 |
| commit | 1da567efc970240b69e7c7ba555917b90aa85fa0 (patch) | |
| tree | fe9034f1ce8c32032d419f59341b9c5f158c6a3d /doc/top.texi | |
| parent | ecb1cabe6e7c0061377f3858b1933e71a3215781 (diff) | |
| download | geiser-1da567efc970240b69e7c7ba555917b90aa85fa0.tar.gz geiser-1da567efc970240b69e7c7ba555917b90aa85fa0.tar.bz2 | |
Moving to Gitlab
Probably not a totally smart move, since sooner or later gitlab's
going to fall as github did (for a fruity company would be my bet).
But oh well, at least we can export a CSV of the issues!
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions