]> Nishi Git Mirror - gwion.git/commit
:wrench: Do not build benchmark docs by default
authorfennecdjay <astor.jeremie@wanadoo.fr>
Wed, 24 Jul 2019 14:53:58 +0000 (16:53 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Wed, 24 Jul 2019 14:53:58 +0000 (16:53 +0200)
commit258737e312c4003c6a83a74e9a1379b0f4de791d
treed93f2755c4ad3753448eb0b817b1d1c7137b740b
parent2078cfb4a341dc5b0b3018a7fef4eba586bd920b
:wrench: Do not build benchmark docs by default
docs.mk