fixed problem in print_extension_list() when ext ended in a space
authorBrian Paul <brian.paul@tungstengraphics.com>
Wed, 23 Feb 2000 22:50:35 +0000 (22:50 +0000)
committerBrian Paul <brian.paul@tungstengraphics.com>
Wed, 23 Feb 2000 22:50:35 +0000 (22:50 +0000)
commit7ac435066a2af75711369bab609e7551ede23b39
tree91c723fe1e4e915e89e2a297f56eeee5222b485d
parentfeb06c8d9ab8b4aa7590ebb1ae8a702ea62e1c57
fixed problem in print_extension_list() when ext ended in a space
progs/xdemos/glxinfo.c