diff options
| author | Julien Voisin | 2023-12-07 12:35:39 +0100 |
|---|---|---|
| committer | GitHub | 2023-12-07 12:35:39 +0100 |
| commit | 4c37ccb166e1086193a868ce34131d455f002ba2 (patch) | |
| tree | 1fe785f5234ef9d771454573817e34b6dc20b236 /doc/source | |
| parent | 78ce29ef1a9ba8294e9187920c79fd8df5039547 (diff) | |
| parent | 912080926895ba932a877a09c2e7d2592ce34f06 (diff) | |
make 'phar' filenames work in sp.disabled_functions
This fixes #472
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions