delete unneeded SerNet-imini.fns to eliminate duplicate compile runs
[build-farm.git] / burns.fns
2010-11-25 Matthieu Patouadd definition for burns to raise the time limit