disable loading of external plugins
authorStefan Bund <stefan@j32.de>
Tue, 21 Dec 2010 14:15:45 +0000 (15:15 +0100)
committerStefan Bund <stefan@j32.de>
Tue, 21 Dec 2010 14:15:45 +0000 (15:15 +0100)
commit8e2a34b0c66a94481aa3331f15d08697cdbe093b
tree01acd4265fd7bab69550a419917643943aef7e27
parent596a9473c43be8768f12b12d50ec83d0b8f1fded
disable loading of external plugins
main.cc