Revision ad0860eef0fc8d88a7e169e1ae7b2ee4713c8dfc

Committed on 15/03/2012 2:21 am by gggeek <[email protected]> [GitHub Diff]

More standard compliance: rename docs folder to doc