XOR operation now supports both input and output differentials. Fixes #17

This commit is contained in:
n1474335 2016-12-03 01:42:23 +00:00
parent fc9d0a63c2
commit 20d9903572
7 changed files with 47 additions and 39 deletions

View file

@ -445,7 +445,8 @@ module.exports = function(grunt) {
deploy_gh_pages: {
command: [
"git add build/prod/index.html -v",
"git commit -m 'GitHub Pages release'",
"COMMIT_HASH=$(git rev-parse HEAD)",
"git commit -m \"GitHub Pages release for ${COMMIT_HASH}\"",
"git push origin `git subtree split --prefix build/prod master`:gh-pages --force",
"git reset HEAD~",
"git checkout build/prod/index.html"