diff options
| author | Edoardo La Greca | 2025-08-01 17:01:40 +0200 |
|---|---|---|
| committer | Edoardo La Greca | 2025-08-01 17:01:40 +0200 |
| commit | 2023a7f6e36a408ee61afea1148053a49b06eb35 (patch) | |
| tree | 0825526bfa12297b1c7d507138c72081f5a188f5 /.idea/.gitignore | |
| parent | a18d9f1149dfda07c1bdd8fd50dbe20c83f25741 (diff) | |
add throws info in documentation and remove initializer in waitForTag
Diffstat (limited to '.idea/.gitignore')
0 files changed, 0 insertions, 0 deletions