summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-04-27 09:17:53 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-04-27 09:17:53 +0200
commit154596a39b2b26c90e46ec851b8f05ea08fa47d4 (patch)
tree7a8f8a59e03b550429377b43f8fca17a6b412499 /.github
parent009c01c1d10c681fa441dbd4e4e166bbfd6f70e7 (diff)
Remove make install target from python and rewrite documentation accordingly
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions