diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-21 13:42:53 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-21 13:42:53 +0100 |
| commit | f5b443179c89a21b5abc754bf9a343ab7d669bf5 (patch) | |
| tree | cf0d925fbf41944bec978a13b45e7012af5a994f /src/include/platform.h | |
| parent | 5f3d153575e30719770cf38a50aa09bc109adfd2 (diff) | |
update dist rules for updated prebuilt documentation submodule
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions