Insert placeholder in 2nd search option#1
Merged
haraldschilly merged 1 commit intosagemath:masterfrom Feb 20, 2016
mukeshkharita:master
Merged
Insert placeholder in 2nd search option#1haraldschilly merged 1 commit intosagemath:masterfrom mukeshkharita:master
haraldschilly merged 1 commit intosagemath:masterfrom
mukeshkharita:master