diff options
| author | Mark H Weaver <mhw@netris.org> | 2018-09-29 21:18:45 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2018-09-29 21:18:45 -0400 |
| commit | 17bea1803cf706d8db053d8d73302a4455684d29 (patch) | |
| tree | 073d30a8ff065d4e08cc4901f7e97e72a9de68a6 /gnu/packages/idris.scm | |
| parent | e72ca4111fce4b05bf2a685e451f26e06680e36c (diff) | |
Revert "services: Add Gitolite."
This reverts commit 258a6d944ed891fa92fa87a16731e5dfe0bac477.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions