Romain Vimont 8d1f58278e Rename "pointer" to "mouse pointer" ...

This will help to distinguish them from "touch pointers".

2019-09-22 21:38:14 +02:00

..

scripts

Always invoke gradle except as root

2018-02-14 14:03:56 +01:00

src

Rename "pointer" to "mouse pointer"

2019-09-22 21:38:14 +02:00

.gitignore

Convert server to an Android project

2018-01-30 12:01:36 +01:00

build.gradle

Bump version to 1.10

2019-08-04 16:41:04 +02:00

meson.build

Print gradle output on compiling

2019-08-09 15:15:28 +02:00

proguard-rules.pro

Convert server to an Android project

2018-01-30 12:01:36 +01:00