3cde420e17
s/indexx.html/index.html/. |
||
---|---|---|
.. | ||
binpkg-cache | ||
binpkg-scan | ||
chkdatabase.awk | ||
depends-depth-first.awk | ||
fail | ||
genindex.awk | ||
genreadme.awk | ||
htmloptions.awk | ||
larger_symbol_version.awk | ||
mkdatabase | ||
mkreadme | ||
pkg_path | ||
remove_todo | ||
shell-lib | ||
subst-identity.awk |