Changeset ccd333 in git for .gdbinit

Timestamp:
Apr 7, 2011, 12:51:37 PM (12 years ago)
Author:
Mohamed Barakat <mohamed.barakat@…>
Branches:
(u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')
Children:
819bad2d3138c61204e2e017596f91b9cc52f981
Parents:
02819271608a70447cc6f58ebf01668dbafc6cf2
git-author:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-04-07 12:51:37+02:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:04:18+01:00
Message:
- seperated public config macros in omalloc from private ones
- deleted OM_PROVIDE_MALLOC and OM_EMULATE_OMALLOC
- protect libpolys/misc/mylimits.h from double-include
- enlarged .gitignore :)
File:
1 added

Note: See TracChangeset for help on using the changeset viewer.