2020-03-17 DVD動画って PC DevedeNGでdvd-videoを作るとサイズが小さくなります これってどういうことでしょう? んでもって代替策 Linux : DVDへの動画焼き込み - miyapiのひとりごと