It seems that if one adds it in the mix then it takes much less than if one adds it later or even after baking.
When I made croissants for the first time, I left out the salt and just before placing it in the oven, sprinkled about 6 grains of salt on each.