diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-18 16:38:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-18 16:38:09 +0100 |
| commit | bc5ba38ff59f04a58107b9939fc2db97ca44314e (patch) | |
| tree | 4f53930fb82e202e9f70df6a049c71a6b14105ec /doc/Makefile | |
| parent | 45cb12955f823557a28f42d84d5142ee34934319 (diff) | |
| parent | 8fc73539e98fd8dce2507a3ff547459d8949ef52 (diff) | |
Merge pull request #56619 from timothyqiu/left-right-palette
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions