pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-07-14 22:40:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1014 from pulsar-edit/update-ppm-late-May-2024

Browse Source 
Update ppm to commit 3542dee00f4622f7458f2f65f05e5
This commit is contained in:
confused_techie 2024-06-06 16:24:16 -07:00 committed by GitHub
commit 4dd32931dc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ppm

@ -1 +1 @@
Subproject commit 241d794f326b63b5abdb9769584a36bb34001be1
Subproject commit 3542dee00f4622f7458f2f65f05e52d1b78a8f9f