diff options
| author | Eduardo Julian | 2017-04-03 20:36:25 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-04-03 20:36:25 -0400 |
| commit | ddacd6a4db08a5546222f2b2c49499c16e7ae536 (patch) | |
| tree | d6a12a2b90c626ae944f42af4922f5b5b402ddc8 /.gitignore | |
| parent | 367c56f33d72621120bcf00953f5fafffb028e97 (diff) | |
- Priority-queues and sequences can now be empty.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions