Jannick d0acac62b3 reflex: Update to 20200715 ...

* reflex/PKGBUILD:
  - update version to 20200715
  - change to github releases whose unzipped packages have a different
    folder name.
  - add variables _src_dir and _build_dir for better maintenance.

2020-08-02 07:44:47 +02:00

..

PKGBUILD

reflex: Update to 20200715

2020-08-02 07:44:47 +02:00