Update user_defines.txt (#2917)
tree86ef7bdcc8031123394d50f96461ca6c5ed342f9
-rw-r--r-- 66 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 174 .gitignore
-rw-r--r-- 35149 LICENSE
-rw-r--r-- 4695 README.md
drwxr-xr-x - src