Update from dev #53
hodasemi
commented 2023-08-16 07:05:02 +00:00
Owner
No description provided.
hodasemi
added 10 commits 2023-08-16 07:05:05 +00:00
Add more logging
8626d23f88
More logging for instance creation
8e09841dad
Add application info workaround
8b3186094d
Add vk_handle debug infos
7cc1eb54e2
Add logging to get_proc_addrs
eaff64a9d6
Use Option for api version
7905957835
Merge branch 'master' into dev
b971e0d2a6
Attempt to fix layer for mesa (intel)
a5a3702153
Fix pedal overlay
d87ed8c0c9
Fix leaderboard formatting
889b2f212c
hodasemi
merged commit c4d199ac4b into master 2023-08-16 07:05:12 +00:00
hodasemi
referenced this pull request from a commit 2023-08-16 07:05:12 +00:00
Merge pull request 'Update from dev' (#53) from dev into master
Loading…
Reference in a new issue
No description provided.
Delete branch "dev"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?