Commit feae63d0 by Eric Coissac

Add gitignore files

parent e8ed6ad4
/figures.key
/build_dir.txt
/build/
[alias]
rbi = "!g() { git rebase -i origin/${1:-master} ; } ; g"
expush = "!f() { git branch -f tmp ; { git rbi $1 && git push ; } ; git reset --hard tmp ; git rebase origin/${1:-master}; } ; f"
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment