Skip to content
Jenkins
log in
Dashboard
adamantine
Pull Requests (39)
PR-253
#9
Status
Changes
Console Output
View Build Information
Timings
Git Build Data
Pipeline Overview
Pipeline Console
Pipeline Steps
Workspaces
Previous Build
Next Build
Not built
Changes
Summary
Remove useless typename (
details
)
Commit
80fcff872685227cfbc2c3577293322d8957ad43
by
Bruno Turcksin
Remove useless typename
The file was modified
source/MaterialProperty.hh
(diff)
![[Jenkins]](/jenkins-ci/static/657d1733/images/svgs/logo.svg){kind=logo}
