diff options
author | Jan Christopher Vogt <oss.nsp@cvogt.org> | 2017-02-10 01:46:02 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-10 01:46:02 -0500 |
commit | b412f892915df29b7df39c162ac1d5644e8543bf (patch) | |
tree | eaaa97cbf49555bf047884eed838da9862d142c5 /README.md | |
parent | c4c60c73a4c9d422555704dac57accd979665e82 (diff) | |
parent | e9bbb5dd705224933dff1971428e413013ae55f4 (diff) | |
download | cbt-b412f892915df29b7df39c162ac1d5644e8543bf.tar.gz cbt-b412f892915df29b7df39c162ac1d5644e8543bf.tar.bz2 cbt-b412f892915df29b7df39c162ac1d5644e8543bf.zip |
Merge pull request #336 from cvogt/fix-frege-plugin
fix merge-conflict in Frege plugin
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions