comparison shelltools/query-pr/query.py @ 42:e1017d556437

add unique indexes on number_in_pr
author David A. Holland
date Sun, 15 Jun 2014 18:16:12 -0400
parents 298c8a7f5181
children 73e6dac29391
comparison
equal deleted inserted replaced
41:81851564f552 42:e1017d556437