kolibrios-fun/contrib/sdk/sources/ffmpeg/ffmpeg-2.8/libavresample/libavresample.v

5 lines
66 B
Coq
Raw Normal View History

LIBAVRESAMPLE_$MAJOR {
global: av*;
local: *;
};