Merge branch 'prevo' into 'master'

Update PReVo to 0.15 (15)

See merge request !2164
This commit is contained in:
Boris Kraut 2017-04-07 15:48:26 +00:00
commit eee294e07a

View file

@ -37,7 +37,18 @@ Build:0.14,14
cd .. && \
PrevoDB/src/prevodb -i $$Revo$$ -o .
Build:0.15,15
commit=0.15
srclibs=Revo@efe9d51d47,PrevoDB@97835cbb50
target=android-16
build=cp -r $$PrevoDB$$ . && \
cd PrevoDB && \
./autogen.sh && \
make -j2 && \
cd .. && \
PrevoDB/src/prevodb -i $$Revo$$ -o .
Auto Update Mode:None
Update Check Mode:Static
Current Version:0.14
Current Version Code:14
Current Version:0.15
Current Version Code:15