tree 4abd6cd93ad203b8266fd41070ccbefaa8cd5fad
parent 94b5eb6b6b6e088985687d54a1d35763d5a34a63
author Luca Stefani <luca.stefani.ge1@gmail.com> 1731140894 +0100
committer Luca Stefani <luca.stefani.ge1@gmail.com> 1731166553 +0000

Twelve: Replace some Pair() with infix operator

Change-Id: Ifd452304f14054831e8c0bfcc2e8ae637dbaf623