2017-05-12 12:24:03 +00:00
|
|
|
[workspace]
|
|
|
|
|
|
|
|
members = [
|
|
|
|
"gstreamer",
|
2017-08-01 13:18:50 +00:00
|
|
|
"gstreamer-app",
|
2017-08-08 22:29:49 +00:00
|
|
|
"gstreamer-audio",
|
2017-09-09 13:54:02 +00:00
|
|
|
"gstreamer-base",
|
2017-12-16 12:48:29 +00:00
|
|
|
"gstreamer-net",
|
2017-08-07 14:35:57 +00:00
|
|
|
"gstreamer-player",
|
2018-02-09 02:30:08 +00:00
|
|
|
"gstreamer-rtsp",
|
|
|
|
"gstreamer-rtsp-server",
|
|
|
|
"gstreamer-sdp",
|
2017-08-10 21:41:55 +00:00
|
|
|
"gstreamer-video",
|
2017-07-03 15:08:43 +00:00
|
|
|
"examples",
|
2017-09-08 08:51:27 +00:00
|
|
|
"tutorials",
|
2017-05-12 12:24:03 +00:00
|
|
|
]
|