issues
search
filbertphang
/
pe
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
UG/DG: Inconsistent naming of app
#15
filbertphang
opened
1 year ago
1
UG: Wrong json file naming
#14
filbertphang
opened
1 year ago
1
UG: Wrong jar file naming
#13
filbertphang
opened
1 year ago
1
UG: Wrong format for `deletePolicy` in command summary
#12
filbertphang
opened
1 year ago
1
UG: Inconsistent parameter naming in command summary
#11
filbertphang
opened
1 year ago
1
Undo/Redo: Unhelpful messages
#10
filbertphang
opened
1 year ago
1
UG: Inconsistent use of additional parameters
#9
filbertphang
opened
1 year ago
1
Appointments: Cannot edit appointments
#8
filbertphang
opened
1 year ago
1
addPolicy: Cannot add premiums with leading zeros
#7
filbertphang
opened
1 year ago
1
UI: "Selected" panel can be hidden upon resize
#6
filbertphang
opened
1 year ago
1
Find: Various commands reset the current `find` view
#5
filbertphang
opened
1 year ago
1
Undo: Empty `deleteApt` operation can be undoed
#4
filbertphang
opened
1 year ago
1
Select: `select` does not work after `find`
#3
filbertphang
opened
1 year ago
1
UG: Undocumented prefix `t/`
#2
filbertphang
opened
1 year ago
1
test
#1
filbertphang
closed
1 year ago
0