diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-08 01:29:27 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-08 01:32:25 +0100 |
| commit | 1749410ac473e918dcab1ea5e4e9e682f0ee2fe0 (patch) | |
| tree | 066565f693ceb00ffa731590aad15ccb37bf44c9 /Documentation | |
| parent | e0f904856b3d665a84b4342b79967b97a3739545 (diff) | |
| parent | f94f4a89ff6f31384cdfe77b5084601e7de2a131 (diff) | |
| download | sparse-dev-1749410ac473e918dcab1ea5e4e9e682f0ee2fe0.tar.gz | |
Merge branch 'ptrlist-generic'
* ptrlist: small API improvements
These improvements will be used by various incoming series.
Thanks to Ramsay Jones for finding a bunch of typos and
suggesting some improved phrasing.
-- Luc
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions