GitBucket
Toggle navigation
Sign in
Files
Branches
2
Releases
6
Issues
Pull requests
Labels
Priorities
Milestones
Wiki
Fork
: 0
iw
/
support
Browse code
"Sync" call of proof changes.
master
wip/CMIPL-26
v0.1.7
v0.1.4
v0.1.3
v0.1.2
v0.1.1
v0.1.0
1 parent
6b1bd25
commit
b2f5dbaf5507643874f10925b2d9a57feec0810a
Michal Prihoda
authored
on 7 May 2022
Patch
Unified
Split
Showing
1 changed file
ui/src/ui/components/tailwind/Icons.scala
Ignore Space
Show notes
View
ui/src/ui/components/tailwind/Icons.scala
Show line notes below