diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 11:24:44 +0200 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 13:01:10 +0200 |
| commit | c6b251ca0c6f8f0d1c99fe7b4a4e5d9c0792cd5b (patch) | |
| tree | 80a7e998a2ca3f13827358556be97a7b8bacef1f /.github | |
| parent | b70792aa6ac85ab95157f3f2de8ececc34292531 (diff) | |
| download | nextcloud-server-c6b251ca0c6f8f0d1c99fe7b4a4e5d9c0792cd5b.tar.gz nextcloud-server-c6b251ca0c6f8f0d1c99fe7b4a4e5d9c0792cd5b.zip | |
Add patches for stubs
* https://github.com/JetBrains/phpstorm-stubs/pull/893
* https://github.com/JetBrains/phpstorm-stubs/pull/894
* https://github.com/JetBrains/phpstorm-stubs/pull/895
* https://github.com/JetBrains/phpstorm-stubs/pull/896
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions