Were the Seychelles involved in the Gulf War?

If the Seychelles were involved in any way, it would have been as a refueling depot, but there is little evidence that Seychelles was militarily or financially involved with the Gulf War.