Skip to content
GitLab
Explore
Sign in
Spot
checkpn
Repository
checkpn
src
Makefile.am
Find file
Blame
History
Permalink
Add chrono std c++11
· 938402d2
Etienne Renault
authored
Dec 02, 2014
* src/Makefile.am: support c++11 * src/main.cpp: add chrono * src/modelcheck.cpp: add chrono
938402d2