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 /README.md | |
parent | 80918692e1d865e75cb2286705d392f12829f728 (diff) | |
parent | 200d5c0c99fdf64d30b5730e9feec44894bd9196 (diff) | |
download | nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.gz nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.bz2 nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.lz nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.xz nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.tar.zst nixlib-dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f.zip |
Merge pull request #26095 from Ptival/proofgeneral-fix
proofgeneral: revert bad modification from previous commit
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions