##// END OF EJS Templates
Do not push consecutive duplicates when we refill readline history....
Do not push consecutive duplicates when we refill readline history. Closes gh-1000, earns t-shirt
Thomas Kluyver -
r5307:a421824a
Show More