Add a dummy CircleCI config to gh-pages branch (#602)
authorebraminio <ebrahim@gnu.org>
Thu, 2 Nov 2017 11:55:46 +0000 (04:55 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Nov 2017 11:55:46 +0000 (04:55 -0700)
commit1955cbecc98ee88ba8a62df1d8c77a09ed5d2c75
tree2b6490232512cee8ebd6b3c5e6ae843fd13a5922
parent4b3278ef8dc71ad4f744d763068d9a2e02d3d75d
Add a dummy CircleCI config to gh-pages branch (#602)
docs/circle.yml [new file with mode: 0644]