Filippos Karapetis b3e45ccc68 AGI: Disable/remove unused code
This is code that isn't used currently. Thanks to fingolfin for
pointing out these parts of the code
2014-12-07 15:33:11 +02:00
..
2014-12-07 15:33:11 +02:00
2014-12-07 15:33:11 +02:00