Boris Yakobowski 90539816a8 Remove webui directory ...

We now remove an intermediate 'webui' directory at package time, and
must adjust our outputs accordingly. After this change, the report is
produced at the same location it used to be put.

TN: V329-014

(cherry picked from commit 07243f04a5)
Depends-On: I1fb120da9505143eed6dbf424a9287a8f42e5224
Change-Id: I36937754c3c842f6d847971ce2ef3f681e382a41

2022-09-20 16:06:02 +02:00

..

examples/gnatdashboard/sdc

T416-023: python2 -> python3.

2020-08-06 17:30:34 +02:00

gnathub

Remove webui directory

2022-09-20 16:06:02 +02:00