comparison website/push.sh @ 434:472fc70853cd

remove more generics
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 03 May 2015 16:21:25 -0600
parents 90c8406bf735
children 048d6c314a35
comparison
equal deleted inserted replaced
433:c6bcb8859b93 434:472fc70853cd