Input requested [was: [PATCH] Use proper gas names in the divelist.]

[Steve Butler]

On Tue, Jan 6, 2015 at 6:35 PM, Anton Lundin <glance at acc.umu.se> wrote:
>> The same goes when discussing Nitrox vs. Advanced Nitrox diving. Diving
>> a 32% vs a dive with 32..100 are usually a bit different.
>
Could the tec divers provide a little education for this rec diver? What 
is the difference between EAN32,  32% and 32..100?