diff paper/listings.ins @ 80:e889fc4dc925

remove push/pull
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Mon, 03 Feb 2014 10:39:32 +0900
parents 90adb016389d
children
line wrap: on
line diff