chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix typos.

Browse Source 
PiperOrigin-RevId: 716211176
Change-Id: Ibadfe13db89ed9047832b977e918faa3c5c6d9f1
This commit is contained in:
Yuval Tassa
2025-01-16 06:27:55 -08:00
committed by Copybara-Service
parent 4da2ddce29
commit 893a993bf6
16 changed files with 23 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/user/user_resource.h
+1 -1
View File
@@ -42,7 +42,7 @@ MJAPI int mju_readResource(mjResource* resource, const void** buffer);
MJAPI void mju_getResourceDir(mjResource* resource, const char** dir, int* ndir);
// return 0 if the resource's timestamp matches the provided timestamp
// return > 0 if the the resource is younger than the given timestamp
// return > 0 if the resource is younger than the given timestamp
// return < 0 if the resource is older than the given timestamp
MJAPI int mju_isModifiedResource(const mjResource* resource, const char* timestamp);