set batch default value

雾聪

2024-04-01 930fe72f43524b4e355ef671c7180cc6cf9eefb5

1
2
3
4
[submodule "doc"]
    path = doc
    url = https://github.com/gflags/gflags.git
    branch = gh-pages