diff options
author | Gabriel Ebner <gebner@gebner.org> | 2017-05-25 22:08:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-25 22:08:08 +0200 |
commit | dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f (patch) | |
tree | 92ea5095113571382284316d5d35a812bd750b79 /pkgs/servers/irc | |
parent | 80918692e1d865e75cb2286705d392f12829f728 (diff) | |
parent | 200d5c0c99fdf64d30b5730e9feec44894bd9196 (diff) | |
download | nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.gz nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.bz2 nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.lz nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.xz nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.zst nixpkgs-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.zip |
Merge pull request #26095 from Ptival/proofgeneral-fix
proofgeneral: revert bad modification from previous commit
Diffstat (limited to 'pkgs/servers/irc')
0 files changed, 0 insertions, 0 deletions