Merge pull request #2330 from flx42/include_config_file_check
authorJonathan L Long <jonlong@cs.berkeley.edu>
Sat, 25 Apr 2015 02:55:31 +0000 (19:55 -0700)
committerJonathan L Long <jonlong@cs.berkeley.edu>
Sat, 25 Apr 2015 02:55:31 +0000 (19:55 -0700)
commit1bb7f8a37bd2364d93e3c8513ab457db7baebd30
tree2b57c955418b434684e89b6e1e36a8ab8da6411e
parentc6414ea7cab5917c904729c87f786e0a5909475c
parentcaaf321a1dc6d51adb1ee0c80f76d4d172145884
Merge pull request #2330 from flx42/include_config_file_check