Fstar/Aircraft/FireStar/model.f/Model.cfg inside fstar1-3.zip

[models]
normal=FStarFloat