Commit Graph

14 Commits

Author SHA1 Message Date
336ee9d7c4
Incorporate some suggestions from the byte compiler 2020-06-26 21:59:25 +02:00
9259c48272
[Projects] Delete bookmarks when archiving projects 2018-08-18 10:50:55 +02:00
1f08b83cf8
[Projects] Fix predicates to check for existing projects 2018-08-18 10:49:59 +02:00
2bae031158
[Projects] Add another newline 2018-08-18 10:49:30 +02:00
e1a05acdec
[Projects] Cosmetics 2018-08-18 10:16:21 +02:00
45d8f2c79e
[Projects] Make new projects into git repositories whenever possible 2018-08-18 10:16:15 +02:00
583d2e679c
[Projects] Use long names when creating bookmarks for new projects
When archiving projects, the bookmark is not deleted automatically anymore; will
fix this later.
2018-08-18 10:16:09 +02:00
93c6bb2a81
[Projects] Fix typo 2018-08-05 16:35:44 +02:00
2c0b0db45e
[Projects] Simple projectile integration 2018-08-05 16:29:34 +02:00
141ed2c4bc
[Projects] Fix typo in function call 2018-08-05 16:29:03 +02:00
843714c39b
[Projects] Simplify generation of .projectile file 2018-08-05 16:26:01 +02:00
b64c830ac5
[Projects] Simplify directory name concatenation 2018-08-05 16:23:37 +02:00
3f828b64fc
[Projects] Update todo list 2018-08-05 16:23:26 +02:00
6da48163df
[Projects] Add simple project management library 2018-08-05 16:19:52 +02:00