my guess is it was a less permanent form than the type of stuff you need to use a blow-torch to get off. they do make something like that in a chap-stick type container which you use to quickly patch up razor cuts from shaving. i'm thinking that's the kind stuff they probably used back in ww2