diff options
| author | Jose Fonseca <jrfonseca@users.sourceforge.net> | 2003-06-19 00:09:52 +0000 |
|---|---|---|
| committer | Jose Fonseca <jrfonseca@users.sourceforge.net> | 2003-06-19 00:09:52 +0000 |
| commit | 93522f6d3ad6924cbf413915491e4f8228502d98 (patch) | |
| tree | 585f12bf357fed6656c6334b9ff9075b8a7514b5 /linux/mga_drv.c | |
| parent | 0a995b624d325055abf5ba09d39ac8d85866d85a (diff) | |
Revert the janitorial - that works is now on the new branch
newdrm-0-0-1-branch.
Diffstat (limited to 'linux/mga_drv.c')
| -rw-r--r-- | linux/mga_drv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/mga_drv.c b/linux/mga_drv.c index f438660c..f0d4935d 100644 --- a/linux/mga_drv.c +++ b/linux/mga_drv.c @@ -35,7 +35,7 @@ #include "drm.h" #include "mga_drm.h" #include "mga_drv.h" -#include "drm_agp_tmp.h" +#include "drm_agpsupport.h" #include "drm_auth.h" #include "drm_bufs.h" #include "drm_context.h" |