diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-09 16:33:31 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-09 16:33:31 +0200 |
| commit | d8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0 (patch) | |
| tree | 38b273f174d719d931aba8d9a0f3f193bb574e6c /.gitignore | |
| parent | dbad09a8a5843e91f862657c3011ec7f63ea819b (diff) | |
| download | bidiragda-d8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0.tar.gz | |
drop barred members from GetTypes
These became duplicates of their non-barred counterparts.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions