Maru Portal
  • Main page
  • Discover
  • Authorization
  • Account
  • My Projects
  • New Project
  • Project
    • Project
    • Expressions
    • Tasks
    • Proofs
    • Settings
    • Summary
Powered by GitBook
On this page
  • Project Name
  • Descriptions
  • Visibility
  • Delete project
  1. Project

Settings

PreviousProofsNextSummary

Last updated 1 year ago

Each project has its own internal settings that the user can change.

Project Name

The project name that appears in the user's project list.

Descriptions

Brief description of the project. Description size is limited and formatting is not supported.

Visibility

Allows the user to change the visibility of the project. Public projects appear on the Discover page and can be viewed (but not edited) by everyone.

Delete project

Allows the user to delete a project. When you delete a project, all project data will be deleted and cannot be restored.