[Bug 111638] Include tools/ in documentation

2019-11-11 Thread bugzilla-daemon
https://bugs.freedesktop.org/show_bug.cgi?id=111638 Martin Peres changed: What|Removed |Added Resolution|--- |MOVED Status|NEW

[Bug 111638] Include tools/ in documentation

2019-09-10 Thread bugzilla-daemon
https://bugs.freedesktop.org/show_bug.cgi?id=111638 Bug ID: 111638 Summary: Include tools/ in documentation Product: DRI Version: unspecified Hardware: Other OS: All Status: NEW Severity: not set