diff options
| author | usodhi <61431818+usodhi@users.noreply.github.com> | 2020-08-06 17:18:34 +0530 |
|---|---|---|
| committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2020-08-06 17:18:34 +0530 |
| commit | 988a16c4b69d1d5062bccf70295aa90c490f9e76 (patch) | |
| tree | 7d515b9b4605490307e039726d6d12bbde2e3d0f /src/client/views/ScriptingRepl.tsx | |
| parent | 2b8fd3bbc922fdb9b82ed5cabe6308b37077fb9e (diff) | |
a bunch of commented stuff in propertiesview that is to be used for adding in the sharing panel customisation buttons
Diffstat (limited to 'src/client/views/ScriptingRepl.tsx')
0 files changed, 0 insertions, 0 deletions