diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-10-04 01:15:06 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-10-04 01:15:06 +0200 |
| commit | 86edcc53382c66be06165c62a3934d60ae7aabd8 (patch) | |
| tree | 890d036d75ae0d38ebff39a4be000959e71409ec /gnu/packages/idris.scm | |
| parent | c651cbad1e38f18f98984463d7d50254b019576b (diff) | |
| download | patches-86edcc53382c66be06165c62a3934d60ae7aabd8.tar patches-86edcc53382c66be06165c62a3934d60ae7aabd8.tar.gz | |
Revert "gnu: eudev: Update to 3.2.4 and generate manpages."
This reverts commit c651cbad1e38f18f98984463d7d50254b019576b.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions