diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-22 12:06:13 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-22 12:06:13 +0100 |
| commit | 9b470d246231d2e399d4cd27f01d87975832f343 (patch) | |
| tree | 6a694c488e0ca44f6fd6ba7defa9d0741f832e89 | |
| parent | adef4a91ca5e98f4b20c4f7a418ac9c74694df2c (diff) | |
update man
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject ca53235ccfa0458ebf11c204888ca370e20ec3f +Subproject eef86710c7deade01361f8985fd9a6fe6a21e8f |