Remove AIGER from install section
authorClifford Wolf <clifford@clifford.at>
Thu, 21 Sep 2017 00:02:31 +0000 (02:02 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 21 Sep 2017 00:02:31 +0000 (02:02 +0200)
commit27da852e385e46570d45bc02f49ffa9a7c138afa
tree12a39d2b872fee67d223d93fad0bce1d4164ad38
parent6d0183f6c6ac3fc712bdbffb274af57dfd6e3bac
Remove AIGER from install section
docs/source/quickstart.rst