summary refs log tree commit diff stats
path: root/.gitignore
blob: 8c110f0012ec57351e6362410e8ae64efa41b4f1 (plain) (blame)
1
2
3
4
*~
*.pyc
*.pyo
stuff/*
il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
#!/bin/bash
#
# Github populates http://akkartik.github.io/mu with branch gh-pages
# (More info: https://pages.github.com)
# We keep gh-pages sync'd with master.

git push || exit 1
git checkout gh-pages
git pull . master
git push
git checkout master