tree 48f535bac16c534fb593c55682cfbc1f0defb562
parent 1c109b4bbd85a738da44dd8b974d4744d82e46f7
author Davide Pesavento <davide.pesavento@lip6.fr> 1516165138 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1516328585 -0500

util: add literal operators for duration types

Change-Id: I007fa61c80e535c6e4b12e85a32eeeee62fecc3c
Refs: #4468