Paul Eggert ddb85ca59e use s.empty() rather than s == "" to test for empty string

2003-07-07 03:45:07 +00:00

390 KiB

Raw Blame History

View Raw