Toggle navigation
grg
Not logged in ·
Login
Home
Timeline
Files
Branches
Tags
Home
Help: admin-log
Topic-List
The "admin-log" setting:
When the admin-log setting is enabled, configuration changes are recorded in the "admin_log" table of the repository.
GRG for REDUCE
[
GRG Homepage
|
GitHub Mirror
|
SourceHut Mirror
|
NotABug Mirror
|
Chisel Mirror
|
Chisel RSS
]