Merge pull request #1422 from Yann-lms/genmask
Genmask
commit db1f39b6527410f3d83707c4e41ff0b63d163065
2 parents 1ebdbe7 + 167c5f8
@Dimitris Papastamos Dimitris Papastamos authored on 18 Jun 2018
GitHub committed on 18 Jun 2018
Showing 1 changed file
View
include/lib/utils_def.h