Merge pull request #1043 from sam0410/name

Adding Name
This commit is contained in:
Ryan Curtin
2017-06-27 14:38:19 -04:00
committed by GitHub
2 changed files with 3 additions and 1 deletions
+2 -1
View File
@@ -80,7 +80,8 @@ Copyright:
Copyright 2017, Parminder Singh <parmsingh101@gmail.com>
Copyright 2017, CodeAi <benjamin.bales@assrc.us>
Copyright 2017, Franciszek Stokowacki <franek.stokowacki@gmail.com>
Copyright 2017, Samikshya Chand <samikshya289@gmail.com>
License: BSD-3-clause
All rights reserved.
.
+1
View File
@@ -221,6 +221,7 @@
* - Parminder Singh <parmsingh101@gmail.com>
* - CodeAi (deep learning bug detector) <benjamin.bales@assrc.us>
* - Franciszek Stokowacki <franek.stokowacki@gmail.com>
* - Samikshya Chand <samikshya289@gmail.com>
*/
// First, include all of the prerequisites.