update file server URL in openlibs

Guo Wenxue

4 days ago 5d84ef568bcfd45630dbe0bf623c8f3256d53b98

1
2
3
4
5
6
7
8
9
# git ignore files/folders in the list
 
# ignore folders
install/
 
# ignore files
*.so*
*.o
*.a