diff options
author | Maxim Pimenov <m@maps.me> | 2015-07-15 21:19:37 +0300 |
---|---|---|
committer | Alex Zolotarev <alex@maps.me> | 2015-09-23 02:56:13 +0300 |
commit | eaa56751946aff0514bfa12101dc87b0bc4441a4 (patch) | |
tree | add66a6bee58e8e9469ed54944a24e36aa039555 /base/base.pro | |
parent | 21cad7ee4693c97b0fed3dc1c46a2102faf5f94c (diff) |
[omim] Remove base/pseudo_random.hpp and add std/random.hpp instead.
Diffstat (limited to 'base/base.pro')
-rw-r--r-- | base/base.pro | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/base/base.pro b/base/base.pro index 42e71abc2b..5709bcc700 100644 --- a/base/base.pro +++ b/base/base.pro @@ -19,7 +19,6 @@ SOURCES += \ lower_case.cpp \ normalize_unicode.cpp \ object_tracker.cpp \ - pseudo_random.cpp \ resource_pool.cpp \ runner.cpp \ shared_buffer_manager.cpp \ @@ -59,7 +58,6 @@ HEADERS += \ mutex.hpp \ object_tracker.hpp \ observer_list.hpp \ - pseudo_random.hpp \ regexp.hpp \ resource_pool.hpp \ rolling_hash.hpp \ |