Finally renamed
# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
# On branch master
# Changes to be committed:
#   (use "git reset HEAD <file>..." to unstage)
#
#	renamed:    boolex.g4 -> BooLeX.g4
#
# Untracked files:
#   (use "git add <file>..." to include in what will be committed)
#
#	../../.idea/.name
#	../../.idea/compiler.xml
#	../../.idea/copyright/
#	../../.idea/encodings.xml
#	../../.idea/misc.xml
#	../../.idea/modules.xml
#	../../.idea/scopes/
#	../../.idea/vcs.xml
#	../../.idea/workspace.xml
#	../../out/
#	../../website/website/__init__.pyc
#	../../website/website/settings.pyc
#	../../website/website/urls.pyc
#	../../website/website/wsgi.pyc