mirror of
https://github.com/edeproject/ede.git
synced 2023-08-10 21:13:03 +03:00
a978576701
Removed tip box; tips are now inside tooltips. |
||
---|---|---|
.. | ||
ede-conf.conf | ||
ede-conf.cpp | ||
ede-conf.fl | ||
Jamfile |