tree 0cd589c311379593c622fff2aa9bd2e01bb1aaee
parent d8d0c66b9c076b24aa9d622096b7debfb4a541fa
author Paul Wankadia <junyer@google.com> 1582012290 -0800
committer Paul Wankadia <junyer@google.com> 1582012435 +0000

Move DeBruijnString() alongside StringGenerator.

Change-Id: Id7e2ed4be60611c0a4e56c621d9449a595c94c5e
Reviewed-on: https://code-review.googlesource.com/c/re2/+/52091
Reviewed-by: Paul Wankadia <junyer@google.com>