src/core/unix-system-wall-clock-ms.cc
changeset 2834 1aab57845b07
parent 150 663120712cd9
child 5438 04cc3ffe0202
equal deleted inserted replaced
2833:f3474fd850b2 2834:1aab57845b07
     1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
     1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
     2 /*
     2 /*
     3  * Copyright (c) 2005 INRIA
     3  * Copyright (c) 2005 INRIA
     4  * All rights reserved.
       
     5  *
     4  *
     6  * This program is free software; you can redistribute it and/or modify
     5  * This program is free software; you can redistribute it and/or modify
     7  * it under the terms of the GNU General Public License version 2 as
     6  * it under the terms of the GNU General Public License version 2 as
     8  * published by the Free Software Foundation;
     7  * published by the Free Software Foundation;
     9  *
     8  *