configure: choose between LTSmin's BuDDy, and Spot's.
configure: choose between LTSmin's BuDDy, and Spot's.

vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,trolando/ltsmin,trolando/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin