diff options
| author | Vladyslav M <dywedir@pm.me> | 2019-01-15 23:55:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-15 23:55:16 +0200 |
| commit | 95a0e2438158bd80239e38b123040d6b81a1aba5 (patch) | |
| tree | 322a8d56657a83d8479262f381863d206e275c55 /pkgs/applications/science/logic/hol_light/default.nix | |
| parent | 121318a9b47fa6422f0e7e44343a05067c4293c6 (diff) | |
| parent | f90bd42c8966c0de583487b3ac262e35b06cbd99 (diff) | |
Merge pull request #53952 from Ma27/improve-gitea-module
nixos/gitea: minor fixes
Diffstat (limited to 'pkgs/applications/science/logic/hol_light/default.nix')
0 files changed, 0 insertions, 0 deletions