diff options
| author | Mathis Brossier | 2022-01-03 02:50:53 +0000 |
|---|---|---|
| committer | GitHub | 2022-01-03 02:50:53 +0000 |
| commit | dbaed0ba834e772e93a0ffe4258168022cf4859e (patch) | |
| tree | 5ade87d810513a88dc2f9cf8af8a93f6449b5128 /book/.gitignore | |
| parent | 609f7363a18f6e8ce577e3e3ea7944524d589a99 (diff) | |
scroll: change only main selection, only when needed (#1420)
Co-authored-by: mathis <mathis.brossier@universite-paris-saclay.fr>
Diffstat (limited to 'book/.gitignore')
0 files changed, 0 insertions, 0 deletions