diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-03 11:34:18 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-03 23:57:50 +0200 |
| commit | 5239af30618d3c23666cc75078bf269172b6d3df (patch) | |
| tree | da76e3bf1077f0a377d3f2782d57c206a355dbd8 /shell.nix | |
| parent | 89d8674c6ac2c826f157ff0a007cc5eecda9b313 (diff) | |
Fix timing tools on NixOS.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions