mirror of
https://github.com/jpd002/Play-.git
synced 2025-04-28 13:47:57 +03:00
4553d14f1b
Boost has already been removed from the project, but this include somehow lasted and was causing an error if boost was not available.
25 lines
429 B
Text
25 lines
429 B
Text
//
|
|
// Prefix header for all source files of the 'Purei' target in the 'Purei' project
|
|
//
|
|
|
|
#ifdef __OBJC__
|
|
#import "Types.h"
|
|
#import <UIKit/UIKit.h>
|
|
#else
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
#include <assert.h>
|
|
|
|
#include <stdexcept>
|
|
#include <algorithm>
|
|
#include <functional>
|
|
#include <string>
|
|
#include <list>
|
|
#include <vector>
|
|
#include <deque>
|
|
#include <unordered_map>
|
|
#include <memory>
|
|
#include <map>
|
|
#endif
|
|
|
|
|