Skip to content
Snippets Groups Projects
Select Git revision
1 result Searching

ADT.pmod

user avatar
Per Hedbor authored
This made our usage of it about 20% faster.

This is done mainly by avoiding making (shorter) copies of the buffer
string when reading.
31dbd21c
History
Name Last commit Last update
..