Revision - 0484597 - Specify the type of unique_ptr we want.

Revision 0484597595a06ef464c2d75a056c067c233149d0 authored by Axel Naumann on 28 September 2016, 10:44:31 UTC, committed by Axel Naumann on 28 September 2016, 10:45:11 UTC

Specify the type of unique_ptr we want.

1 parent de9b7b0

Files
Changes

Permalinks

File	Mode	Size
modules
patches
scripts

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...